Theory and Application of Satisfiability Testing --- SAT 2008
Book title Buchtitel
Theory and Application of Satisfiability Testing --- SAT 2008
Publisher Herausgeber
Lecture Notes in Computer Science
Place of publishing Erscheinungsort
4996