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
Description: