 |
Compact Modeling in Constraint Programming with Hybrid Tables
1 : CRIL
Université d'Artois, CNRS : UMR8188
Hybrid tables (called 'smart' in the paper CPAIOR'15 by Mairy, Deville and Lecoutre) are a useful modeling tool for Constraint Programming (CP). Such tables allow us to handle disjunctive cases (constraints) in a compact and structured way. An hybrid table constraint is defined from a table authorizing entries to contain simple arithmetic restrictions (which can be seen as intern constraints). In this paper, we show the practical interest of using hybrid tables on a very simple problem.
