Abstract : 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.
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00106045
Contributor : Christine Carvalho de Matos <>
Submitted on : Friday, September 20, 2019 - 10:39:51 AM Last modification on : Monday, January 11, 2021 - 5:24:10 PM Long-term archiving on: : Saturday, February 8, 2020 - 8:54:43 PM
Christian Bessière, 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⟩