Theory and applications of satisfiability testing-- SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings / - Cimatti, Alessandro.; Sebastiani, R. (Springer, 2012)