220 followers
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets. - Fahiem Bacchus, George… http://t.co/bxYlMrvNyV
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets. - Fahiem Bacchus, George… http://t.co/bxYlMrvNyV