An edition of Theory and applications of satisfiability testing (2007)
Theory and applications of satisfiability testing
SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings
By SAT 2007 (2007 Lisbon, Portugal)
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2007
Publisher
Springer
Language
eng
Pages
384
1-2 of 2 Editions
Theory and Applications of Satisfiability Testing - SAT 2007
Theory and Applications of Satisfiability Testing - SAT 200710th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture Notes in Computer Science)
Language: eng
Pages: 384
Published In: June 28, 2007
Publisher: Springer
Theory and applications of satisfiability testingSAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings
Language: eng
Pages: 384
Published In: 2007
Publisher: Springer