2025年XCSP3竞赛论文集
人工智能
2025-11-11 v1
摘要
本文件代表了2025年XCSP3竞赛的论文集。该竞赛的约束求解器结果在CP'25（第31届约束编程原则与实践国际会议）上 presented。
引用
@article{arxiv.2511.06918,
title = {Proceedings of the 2025 XCSP3 Competition},
author = {Gilles Audemard and Christophe Lecoutre and Emmanuel Lonca},
journal= {arXiv preprint arXiv:2511.06918},
year = {2025}
}
备注
110 pages