Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.

James Bailey, Peter J. Stuckey

Browse the full PADL paper archive.