Theory and Applications of Satisfiability Testing – SAT 2012
Subtitle: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
By: edited by Alessandro Cimatti, Roberto Sebastiani
Contributors: Sebastiani, Roberto; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7317
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642316128
Subjects: Mathematical Logic and Formal Languages; Circuits Information and Communication; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Artificial Intelligence (incl. Robotics); Mathematics; Computer software; Artificial intelligence; Computer science