Title: Theory and Applications of Satisfiability Testing – SAT 2012
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