Gå direkte til innholdet
Theory and Applications of Satisfiability Testing - SAT 2009
Spar

Theory and Applications of Satisfiability Testing - SAT 2009

This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis?ability Testing, held from June 30 to July 3, 2009 in Swansea (UK).
Undertittel
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
Opplag
2009 ed.
ISBN
9783642027765
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
19.6.2009
Antall sider
540