Siirry suoraan sisältöön
Theory and Applications of Satisfiability Testing - SAT 2009
Tallenna

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).
Alaotsikko
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
Toimittaja
Oliver Kullmann
Painos
2009 ed.
ISBN
9783642027765
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
19.6.2009
Sivumäärä
540