Tallenna
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.
- Alaotsikko
- 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
- Toimittaja
- Hans Kleine Büning, Xishun Zhao
- Painos
- 2008 ed.
- ISBN
- 9783540797180
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 25.4.2008
- Sivumäärä
- 305
