Theory and Applications of Satisfiability Testing - SAT 2009
Book title Buchtitel
Theory and Applications of Satisfiability Testing - SAT 2009
Editor Herausgeber_in
Publisher Herausgeber
Springer Lecture Notes in Computer Science (LNCS)
Place of publishing Erscheinungsort
5584
DOI
10.1007/978-3-642-02777-2
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.002 seconds).