Spara
Theory and Applications of Satisfiability Testing – SAT 2008
The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications.
- Undertitel
- 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
- Redaktör
- Hans Kleine Büning, Xishun Zhao
- Upplaga
- 2008 ed.
- ISBN
- 9783540797180
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2008-04-25
- Sidor
- 305
