8 citations · 9 across the 2 of their papers we have counts for
4 papers · 1 filter
Proceedings of the 2018 XCSP3 Competition
Christophe Lecoutre, Olivier Roussel
This document represents the proceedings of the 2018 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'18, the 24th International Confer…
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…
Solving WCSP by Extraction of Minimal Unsatisfiable Cores
Christophe Lecoutre, Nicolas Paris, Olivier Roussel +1
Usual techniques to solve WCSP are based on cost transfer operations coupled with a branch and bound algorithm. In this paper, we focus on an approach integrating extraction and re…
XML Representation of Constraint Networks: Format XCSP 2.1
Olivier Roussel, Christophe Lecoutre
We propose a new extended format to represent constraint networks using XML. This format allows us to represent constraints defined either in extension or in intension. It also all…