Proceedings of the 2025 XCSP3 Competition
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
TL;DR
This paper presents the proceedings and results of the 2025 XCSP3 Constraint Solver Competition, showcasing the performance of various solvers at CP'25, the 31st International Conference on Principles and Practice of Constraint Programming.
Contribution
It provides a comprehensive overview of the 2025 XCSP3 Competition, including solver performances and benchmarking results.
Findings
Solver performance varied across benchmarks
New constraint solving techniques demonstrated
Benchmarking established new standards
Abstract
This document represents the proceedings of the 2025 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'25 (31st International Conference on Principles and Practice of Constraint Programming).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization · Logic, programming, and type systems · AI-based Problem Solving and Planning