XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Not on the map. Why?
Abstract (arXiv)
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems. The interest of XCSP3-core is multiple: (i) focusing on the most popular frameworks (CSP and COP) and constraints, (ii) facilitating the parsing process by means of dedicated XCSP3-core parsers written in Java and C++ (using callback functions), (iii) and defining a core format for comparisons (competitions) of constraint solvers.
Key facts. Cited by 7 papers in the map (data through 7 Oct 2026). First posted on arXiv 1 Sep 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2022: 1; 2023: 2; 2024: 1; 2025: 1; 2026: 2.
7 papers.
- 2024Towards a Generic Representation of Combinatorial Problems for Learning-Based Approachescited by 5
- 2023ACE, a generic constraint solvercited by 3
- 2022Proceedings of the 2022 XCSP3 Competitioncited by 2
- 2023Proceedings of the 2023 XCSP3 Competitioncited by 1
- 2025Adaptive Constraint Propagation: Scaling Structured Inference for Large Language Models via Meta-Reinforcement Learningcited by 0
- 2026Hyperparameter Optimization of Constraint Programming Solverscited by 0
- 2026PyCSP3-Scheduling: A Scheduling Extension for PyCSP3cited by 0
- 2026PyCSP3-Scheduling: A Scheduling Extension for PyCSP314 May 2026
- 2026Hyperparameter Optimization of Constraint Programming Solvers16 Jan 2026
- 2025Adaptive Constraint Propagation: Scaling Structured Inference for Large Language Models via Meta-Reinforcement Learning31 Dec 2025
- 2024Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches9 Mar 2024
- 2023Proceedings of the 2023 XCSP3 Competition10 Dec 2023
- 2023ACE, a generic constraint solver6 Jan 2023
- 2022Proceedings of the 2022 XCSP3 Competition2 Sep 2022