Picture for Cédric Piette

Cédric Piette

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

Ludii and XCSP: Playing and Solving Logic Puzzles

Add code
Jun 29, 2019
Figure 1 for Ludii and XCSP: Playing and Solving Logic Puzzles
Figure 2 for Ludii and XCSP: Playing and Solving Logic Puzzles
Figure 3 for Ludii and XCSP: Playing and Solving Logic Puzzles
Figure 4 for Ludii and XCSP: Playing and Solving Logic Puzzles
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