Theory and Applications of Satisfiability Testing - SAT 2011
Subtitle: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
By: edited by Karem A. Sakallah, Laurent Simon
Contributors: Simon, Laurent; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6695
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642215803; 9783642215810
Subjects: Logic design; Computer science; Artificial intelligence; Computer software