Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems


Model debugging is an important component of assisting modelers with constraint-based problem formulation. This paper is built around a case study in modeling a special class of CSPs, which represent problems that change when certain conditions are met (Mittal & Falkenhainer 1990). The control of changing the problem, by activating or deactivating variables… (More)

1 Figure or Table


  • Presentations referencing similar topics