Acquiring Parameters of Implied Global Constraints

Christian Bessiere (1) , Remi Coletta (2) , Thomas Petit

1 COCONUT - Agents, Apprentissage, Contraintes
2 ZENITH - Scientific Data Management

This paper presents a technique for learning parameterized implied constraints. They can be added to a model to improve the solving process. Experiments on implied Gcc constraints show the interest of our approach.

Domaines: Informatique [cs]

Christian Bessiere, Remi Coletta, Thomas Petit. Acquiring Parameters of Implied Global Constraints. CP: Principles and Practice of Constraint Programming, Oct 2005, Sitges, Spain. pp.747-751, ⟨10.1007/11564751_57⟩. ⟨lirmm-00106045⟩