![](/var/ezflow_site/storage/images/books/t/theory-and-applications-of-satisfiability-testing/9783540278290_cover/760495339-1-eng-CA/9783540278290_cover_wide_432.jpg)
Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
- Publisher
- Springer/Sci-Tech/Trade
- Initial publish date
- Jul 2005
- Category
- General, Computer Science, General
-
Paperback / softback
- ISBN
- 9783540278290
- Publish Date
- Jul 2005
- List Price
- $80.5
Classroom Resources
Where to buy it
Description
research and its industrial applications.