Satisfiability Modulo Theories (2009)

by Clark Barrett, Roberto Sebastiani, Sanjit Seshia, Cesare Tinelli
Venue:Handbook of Satisfiability