"Using Minimal Correction Sets to More Efficiently Compute Minimal ..."

Fahiem Bacchus, George Katsirelos (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics