2 citations · 3 across the 6 of their papers we have counts for
5 papers · 1 filter
Efficient Implementation of the Global Cardinality Constraint with Costs
Margaux Schmied, Jean-Charles Regin
The success of Constraint Programming relies partly on the global constraints and implementation of the associated filtering algorithms. Recently, new ideas emerged to improve thes…
Constraints First: A New MDD-based Model to Generate Sentences Under Constraints
Alexandre Bonlarron, Aurélie Calabrèse, Pierre Kornprobst +1
This paper introduces a new approach to generating strongly constrained texts. We consider standardized sentence generation for the typical application of vision screening. To solv…
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre +4
In this paper, we describe Compact-Table (CT), a bitwise algorithm to enforce Generalized Arc Consistency (GAC) on table con- straints. Although this algorithm is the default propa…
Parallel Strategies Selection
Anthony Palmieri, Jean-Charles Régin, Pierre Schaus
We consider the problem of selecting the best variable-value strategy for solving a given problem in constraint programming. We show that the recent Embarrassingly Parallel Search…
Relations between MDDs and Tuples and Dynamic Modifications of MDDs based constraints
Guillaume Perez, Jean-Charles Régin
We study the relations between Multi-valued Decision Diagrams (MDD) and tuples (i.e. elements of the Cartesian Product of variables). First, we improve the existing methods for tra…