Restoring CSP Satisfiability with MaxSAT
Inês Lynce, João P. Marques-Silva · Fundamenta Informaticae · 2011
The extraction of a Minimal Unsatisfiable Core (MUC) in a Constraint Satisfaction Problem (CSP) aims to identify a subset of constraints that make a CSP instance unsatisfiable. Recent work has addressed the identification of a Minimal Set of Unsatisf