Score: 1
Proceedings of the 2025 XCSP3 Competition
Published: November 10, 2025 |
arXiv ID: 2511.06918v1
By: Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
Potential Business Impact:
Helps computers solve hard puzzles faster.
Business Areas:
Artificial Intelligence
Artificial Intelligence, Data and Analytics, Science and Engineering, Software
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).
Similar Papers
85%
MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
Artificial Intelligence
Teaches AI to solve harder math problems.
20 Dec 2025
2
84%
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
Machine Learning (CS)
Tests computer brains to make sure they are safe.
22 Dec 2025
3
83%
Can REF output quality scores be assigned by AI? Experimental evidence
Computers and Society
Helps guess how good science papers will be.
11 Dec 2022
0
Repos / Data Links
Page Count
110 pages
Category
Computer Science:
Artificial Intelligence