Satisfiability Modulo Theories (2009)

by C W Barrett, R Sebastiani, S A Seshia, C Tinelli
Venue:In Handbook of Satisfiability