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

James Bailey Peter J. Stuckey Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. 174-186 http://dx.doi.org/10.1007/978-3-540-30557-6_14 2005 conf/padl/2005 PADL db/conf/padl/padl2005.html#BaileyS05