Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Armin Biere | Carla P. Gomes
Computers / Computer Science
| Publication Date: | 26 July 2006 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540372066 |
| Format: | Paperback / softback |
| Page Count: | 440 |