2025年约束求解竞赛结果发布，展示最新算法性能。

Proceedings of the 2025 XCSP3 Competition

• 评测多种约束求解器在标准问题上的表现
• 结果在CP'25会议上公布，涵盖多个数据集
• 适合研究约束满足与优化的学者参考

本文为2025年XCSP3竞赛的论文集。该竞赛对各类约束求解器进行了评估，并于第31届国际约束编程原理与实践会议（CP'25）上公布了结果。竞赛内容覆盖多个基准测试实例，涉及不同类型的约束问题，旨在推动约束求解技术的发展。参赛系统在多项指标下进行比较，包括求解速度、求解成功率和内存使用效率。结果提供了当前主流求解器的性能基准，为学术界和工业界提供重要参考。

原文摘要 · Abstract (English)

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).

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。