Debugging Systems for Constraint Programming

Niveau: Supérieur, Master, Bac+5

• dissertation

Debugging Systems for Constraint Programming ESPRIT 22532 Task T.WP3.4: Declarative Debugging in Constraint Programming Delivrable D.WP3.4.M2.1-3 Simplifiaction of Finite Domain Constraints Abdelkhalek Goumairi and Alexandre Tessier LIFO, rue Leonard de Vinci, BP 6759, 45067 Orleans Cedex 2, France ,

• constraints over


• redundant constraints


• constraints into another


• nite domain


• free variable


• mains can


• constraint programming


• constraint simplication