Proceedings of the 2022 XCSP3 Competition

Gilles Audemard,Christophe Lecoutre,Emmanuel Lonca

arxiv（2022）

引用 0|浏览15

暂无评分

摘要

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.

查看译文

关键词

proceedings

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要