XCSP3-core：一种表示约束满足/优化问题的格式
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
AI总结：
本文提出XCSP3-core格式用于表示约束满足/优化问题，聚焦主流框架与约束，提供Java和C++解析器，并为约束求解器竞赛定义核心比较格式。
摘要：
本文介绍了XCSP3-core，它是XCSP3的子集，允许我们表示约束满足/优化问题。XCSP3-core的优势是多方面的：(i)聚焦于最流行的框架（CSP和COP）及约束，(ii)通过用Java和C++（使用回调函数）编写的专用XCSP3-core解析器来促进解析过程，(iii)并为约束求解器的比较（竞赛）定义一种核心格式。
英文摘要：
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems. The interest of XCSP3-core is multiple: (i) focusing on the most popular frameworks (CSP and COP) and constraints, (ii) facilitating the parsing process by means of dedicated XCSP3-core parsers written in Java and C++ (using callback functions), (iii) and defining a core format for comparisons (competitions) of constraint solvers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
