Gå direkte til innholdet
Theory and Applications of Satisfiability Testing
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
Opplag
2005 ed.
ISBN
9783540262763
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
9.6.2005
Antall sider
492