Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Paperback
|
English
€59.50
- From €15,- no shipping costs.
- 30 days to change your mind and return physical products
Description
For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most e?ective way of solving a number of practical problems.