Deriving Small Unsatisfiable Cores with Dominators. - Roman Gershman; Maya Koifman; Ofer Strichman (CAV, 2006)

An approach for extracting a small unsatisfiable core. - Roman Gershman; Maya Koifman; Ofer Strichman (Formal Methods Syst. Des., 2008)