Spar
Theory and Applications of Satisfiability Testing
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.
- Undertittel
- 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
- Redaktør
- Fahiem Bacchus, Toby Walsh
- Opplag
- 2005 ed.
- ISBN
- 9783540262763
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 9.6.2005
- Antall sider
- 492
