2025/11/10 by Gilles Audemard, Audemard, Gilles, Christophe Lecoutre +3
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, programming, and type systems
paper · doi:10.48550/arxiv.2511.06918
openalex created_date 2025/10/10 · openalex publication_date 2025/11/10 · openalex updated_date 2026/07/28
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).