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

Proceedings of the 2024 XCSP3 Competition

• 评测30个约束求解器在多个基准问题上的表现
• 涵盖10类问题，共提交500+测试实例
• 适合从事约束满足与优化研究的学者参考

本文为2024年XCSP3竞赛的官方记录。竞赛结果于第30届国际约束求解原理与实践会议（CP'24）上公布。本次竞赛评估了30个约束求解器在多种类型约束问题上的表现，涵盖10类典型问题，共包含超过500个测试实例。参赛系统在不同数据集上的求解效率、可扩展性及稳定性被系统比较，为学术界和工业界提供最新的求解器性能基准。

原文摘要 · Abstract (English)

This document represents the proceedings of the 2024 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'24 (30th International Conference on Principles and Practice of Constraint Programming).

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