Title: Theory and applications of satisfiability teasting - SAT 2013
Subjects: Computer algorithms, Congresses, Computer software, Verification, Decision making, Logic, symbolic and mathematical