Deriving Small Unsatisfiable Cores with Dominators.

Roman Gershman, Maya Koifman, Ofer Strichman

Browse the full CAV paper archive.