Title: Theory and Applications of Satisfiability Testing - SAT 2014
Subjects: Computer science, Artificial intelligence, Computer algorithms, Artificial Intelligence (incl. Robotics), Information theory, Theory of Computation, Mathematics of Computing