# Proceedings of the 2023 XCSP3 Competition

arXiv: https://arxiv.org/abs/2312.05877 · HTML: https://mlsanity.com/paper/2312.05877/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 4 of its 30 references that are in the map.
- First posted on arXiv 10 Dec 2023.

## Builds on (most cited first, 4 of 4)

- [PyCSP3: Modeling Combinatorial Constrained Problems in Python](https://mlsanity.com/paper/2009.00326/) (2020)
- [XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems](https://mlsanity.com/paper/1611.03398/) (2016)
- [XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems](https://mlsanity.com/paper/2009.00514/) (2020)
- [ACE, a generic constraint solver](https://mlsanity.com/paper/2302.05405/) (2023)

## Built on by (most cited first, 1 of 1)

- [Dsat: A Native SAT Solver for Discrete Logic](https://mlsanity.com/paper/2605.09347/) (2026)

## Abstract (arXiv)

This document represents the proceedings of the 2023 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'23 (the 29th International Conference on Principles and Practice of Constraint Programming, held in Toronto, Canada from 27th to 31th August, 2023).