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

Fahiem Bacchus, George Katsirelos

Browse the full CAV paper archive.