A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories.. (2007)

by A Cimatti, A Griggio, R Sebastiani
Venue:In Marques-Silva, J., & Sakallah, K. A. (Eds.), SAT,