Proceedings of the Fifteen International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
Book title Buchtitel
Proceedings of the Fifteen International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
Editor Herausgeber_in
Publisher Herausgeber
LNCS / Springer
Place of publishing Erscheinungsort
7317