Sciweavers

IRI
2006
IEEE

A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs

14 years 6 months ago
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs
When a Constraint Satisfaction Problem (CSP) admits no solution, most current solvers express that the whole search space has been explored unsuccessfully but do not exhibit which constraints are actually contradicting one another and make the problem infeasible. In this paper, we improve a recent heuristic-based approach to compute infeasible minimal subparts of CSPs, also called Minimally Unsatisfiable Cores (MUCs). The approach is based on the heuristic exploitation of the number of times each constraint has been falsified during previous failed search steps. It appears to improve the performance of the initial technique, which was the most efficient one until now.
Éric Grégoire, Bertrand Mazure, C&ea
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where IRI
Authors Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais
Comments (0)