mlsanityData to 7 Oct 2026

Proceedings of the 2023 XCSP3 Competition

arXiv 2312.05877 ↗First posted 10 Dec 2023cs.AIcited by 1

Not on the map. Why?

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).

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

Builds on

4 of 30 references.

References · 4

  1. 2020PyCSP3: Modeling Combinatorial Constrained Problems in Pythoncited by 9
  2. 2016XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problemscited by 7
  3. 2020XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problemscited by 7
  4. 2023ACE, a generic constraint solvercited by 3

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2026: 1.

1 paper.

  1. 2026Dsat: A Native SAT Solver for Discrete Logiccited by 0