2 citations · 2 across the 1 of their papers we have counts for
2 papers
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.AI2015★ 2 cited
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…