Gå direkte til innholdet
Theory and Applications of Satisfiability Testing – SAT 2008
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
Opplag
2008 ed.
ISBN
9783540797180
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
25.4.2008
Antall sider
305