Picture for Christophe Lecoutre

Christophe Lecoutre

Proceedings of the 2023 XCSP3 Competition

Add code
Dec 10, 2023
Viaarxiv icon

Proceedings of the 2022 XCSP3 Competition

Add code
Sep 02, 2022
Figure 1 for Proceedings of the 2022 XCSP3 Competition
Figure 2 for Proceedings of the 2022 XCSP3 Competition
Figure 3 for Proceedings of the 2022 XCSP3 Competition
Figure 4 for Proceedings of the 2022 XCSP3 Competition
Viaarxiv icon

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

Add code
Sep 01, 2020
Figure 1 for XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Figure 2 for XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Figure 3 for XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Figure 4 for XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Viaarxiv icon

PYCSP3: Modeling Combinatorial Constrained Problems in Python

Add code
Sep 01, 2020
Figure 1 for PYCSP3: Modeling Combinatorial Constrained Problems in Python
Figure 2 for PYCSP3: Modeling Combinatorial Constrained Problems in Python
Figure 3 for PYCSP3: Modeling Combinatorial Constrained Problems in Python
Figure 4 for PYCSP3: Modeling Combinatorial Constrained Problems in Python
Viaarxiv icon

Proceedings of the 2018 XCSP3 Competition

Add code
Dec 17, 2018
Figure 1 for Proceedings of the 2018 XCSP3 Competition
Figure 2 for Proceedings of the 2018 XCSP3 Competition
Figure 3 for Proceedings of the 2018 XCSP3 Competition
Figure 4 for Proceedings of the 2018 XCSP3 Competition
Viaarxiv icon

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

Add code
Apr 06, 2018
Figure 1 for XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Figure 2 for XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Figure 3 for XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Figure 4 for XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Viaarxiv icon

Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets

Add code
Apr 22, 2016
Figure 1 for Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
Figure 2 for Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
Figure 3 for Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
Figure 4 for Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
Viaarxiv icon

Second-Order Consistencies

Add code
Jan 16, 2014
Figure 1 for Second-Order Consistencies
Figure 2 for Second-Order Consistencies
Figure 3 for Second-Order Consistencies
Figure 4 for Second-Order Consistencies
Viaarxiv icon

Solving WCSP by Extraction of Minimal Unsatisfiable Cores

Add code
Apr 19, 2013
Figure 1 for Solving WCSP by Extraction of Minimal Unsatisfiable Cores
Figure 2 for Solving WCSP by Extraction of Minimal Unsatisfiable Cores
Figure 3 for Solving WCSP by Extraction of Minimal Unsatisfiable Cores
Figure 4 for Solving WCSP by Extraction of Minimal Unsatisfiable Cores
Viaarxiv icon

XML Representation of Constraint Networks: Format XCSP 2.1

Add code
Feb 13, 2009
Figure 1 for XML Representation of Constraint Networks: Format XCSP 2.1
Viaarxiv icon