2023年XCSP3竞赛会议记录
人工智能
2023-12-12 v1
摘要
本文档记录了2023年XCSP3竞赛的会议情况。该约束求解器竞赛的结果于CP'23（第29届国际约束编程原理与实践会议，2023年8月27日至31日在加拿大多伦多举行）上公布。
引用
@article{arxiv.2312.05877,
title = {Proceedings of the 2023 XCSP3 Competition},
author = {Gilles Audemard and Christophe Lecoutre and Emmanuel Lonca},
journal= {arXiv preprint arXiv:2312.05877},
year = {2023}
}