2 citations · 3 across the 6 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.AI2016
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…
cs.AI2016
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…