Theory and Applications of Satisfiability Testing -- SAT 2012Alessandro Cimatti, Roberto Sebastiani₹5,773
