Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Alessandro Cimatti, Roberto Sebastiani ((Lecture Notes in Computer Science))