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, General
-
Paperback / softback
- ISBN
- 9783540278290
- Publish Date
- Jul 2005
- List Price
- $80.5
Add it to your shelf
Where to buy it
Description
research and its industrial applications.