Title: Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings
Subjects: Computer algorithms, Congresses, Computer software, Verification, Computer software, verification, Computer science, Logic design, Artificial intelligence