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

Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani

Browse the full SAT paper archive.