Spar
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.
- Undertittel
- 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
- Redaktør
- Hans Kleine Büning, Xishun Zhao
- Opplag
- 2008 ed.
- ISBN
- 9783540797180
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 25.4.2008
- Antall sider
- 305
