Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings: 3569 (Lecture Notes in Computer Science)

by Fahiem Bacchus (Author), Fahiem Bacchus (Author), Toby Walsh (Author)

New
Paperback
2008
$61.21

$61.21

Save:$48.96 (44%)

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 508
Edition: 2005
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540262768
ISBN 13: 9783540262763

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings: 3569 (Lecture Notes in Computer Science)

New

$61.21

$61.21

More Information