2022 XCSP3 竞赛论文集
人工智能
2023-12-12 v2
摘要
本文档为 2022 XCSP3 竞赛的论文集。该约束求解器竞赛的结果在 2022 年 7 月 31 日至 8 月 7 日于以色列海法举行的 FLOC（联合逻辑会议）2022 奥林匹克大会上进行展示。
引用
@article{arxiv.2209.00917,
title = {Proceedings of the 2022 XCSP3 Competition},
author = {Gilles Audemard and Christophe Lecoutre and Emmanuel Lonca},
journal= {arXiv preprint arXiv:2209.00917},
year = {2023}
}
备注
arXiv admin note: text overlap with arXiv:1901.01830