Acquiring Parameters of Implied Global Constraints

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.

• Type: Conference
• Year: 2005
• Where: CP
• Authors: Christian Bessière, Remi Coletta, Thierry Petit
• Keywords: CP 2005, Implied Gcc Constraints, Paper, Parameterized Implied Constraints, Programming Languages