Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003 Santa Margherita Ligure, Italy, May 5-8, 2003 Selected ... 2919 (Lecture Notes in Computer Science)

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003 Santa Margherita Ligure, Italy, May 5-8, 2003 Selected ... 2919 (Lecture Notes in Computer Science)

by Armando Tacchella (Series Editor), Enrico Giunchiglia (Editor)

$61.34

Save:$37.81 (38%)

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 544
Edition: 2004
Publisher: Springer
Published: 22 Feb 2009

ISBN 10: 3540208518
ISBN 13: 9783540208518