Title: Theory and Applications of Satisfiability Testing - SAT 2011
Subjects: Logic design, Computer science, Artificial intelligence, Computer software, Computer algorithms, Propositional calculus, Congresses, Verification, Decision making, Calculus, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics)