A scalable algorithm for minimal unsatisfiable core extraction. (2006)

by N Dershowitz, Z Hanna, A Nadel
Venue:In Theory and Applications of Satisfiability Testing,