Minimal unsatisfiable core extraction for SMT.

Ofer Guthmann, Ofer Strichman, Anna Trostanetski

Browse the full FMCAD paper archive.