K.: Algorithms for computing minimal unsatisfiable subsets of constraints (0)

by M Liffiton, Sakallah
Venue:Journal of Automated Reasoning