论文标题
2022 XCSP3比赛的会议记录
Proceedings of the 2022 XCSP3 Competition
论文作者
论文摘要
该文档代表2022 XCSP3竞赛的程序。这场约束求解器竞争的结果是在2022年7月31日至2022年8月7日在以色列海法举行的2022年奥运会的2022年奥运会。
This document represents the proceedings of the 2022 XCSP3 Competition. The results of this competition of constraint solvers were presented at FLOC (Federated Logic Conference) 2022 Olympic Games, held in Haifa, Israel from 31th July 2022 to 7th August, 2022.
