2023 XCSP3 competition: Models, Instances and Results

International competitions of constraint solvers help us improving our knowledge about components (e.g., filtering algorithms, search heuristics, exploration strategies, encoding/reformulation techniques, learning approaches, ...) that are behind the efficiency of solving systems for combinatorial constrained problems.

All information and data concerning the fourth international XCSP3 constraint solver competition, organized in 2023, is made available to a large audience. Technically, this concerns two classical problems :

• CSP (Constraint Satisfaction Problem)
• COP (Constrained Optimization Problem)

For the 2023 XCSP3 solver competition, you can find in this repository:

• the full set of models and data used to generate problem instances (XCSP3 instances)
• the full set of XCSP3 instances on which the solvers were run
• the detailed results obtained by all solvers (JSON file)

Other resources are available:

• the call (with rules) for the competition (https://www.cril.univ-artois.fr/~lecoutre/compets/callXCSP23.pdf)
• a dedicated website with detailed results (tables, plots) (https://www.cril.univ-artois.fr/XCSP23).