"Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting ..."

James Bailey, Peter J. Stuckey (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics