Partenaires
Other
QAT (in French)
QAT est une librairie Java proposant des outils complets pour résoudre des réseaux de contraintes qualitatives. Toute algèbre qualitative peut être représentée sous QAT. Pour plus d’information ou pour obtenir le logiciel, contacter Mahmoud Saade (saade AT cril.univ-arois.fr).
MUC extraction
The MUC extraction page When a Constraint Satisfaction Problem (CSP) admits no solution, it can be useful to pinpoint which constraints are actually contradicting one another and make the problem infeasible. This page proposes a recent heuristic-based approach to compute infeasible minimal subparts of discrete CSPs, also called Minimally Unsatisfiable Cores (MUCs). This approach, called CB(full-wcore), is based on the heuristic exploitation of the number of times each constraint has been (...)