当前位置: X-MOL 学术Constraints › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
XCSP 3 and its ecosystem
Constraints ( IF 1.6 ) Pub Date : 2020-02-06 , DOI: 10.1007/s10601-019-09307-9
Gilles Audemard , Frédéric Boussemart , Christophe Lecoutre , Cédric Piette , Olivier Roussel

In this paper, we present a summary of XCSP3, together with its ecosystem. XCSP3 is a format used to build integrated representations of combinatorial constrained problems. Interestingly, XCSP3 preserves the structure of models, by handling arrays of variables and groups/blocks of constraints, which makes it rather unique in the literature. Furthermore, the ecosystem of XCSP3 is well supplied: it includes companion tools (parsers and checkers), a website with a search engine for selecting and downloading instances, and competitions of solvers. The Java-based modeling API, called JvCSP3, is the last developed piece of this complete production chain.

中文翻译:

XCSP 3及其生态系统

在本文中,我们对XCSP 3及其生态系统进行了总结。XCSP 3是用于构建组合约束问题的集成表示的格式。有趣的是,XCSP 3通过处理变量数组和约束组/约束块来保留模型的结构,这使其在文献中相当独特。此外,XCSP 3的生态系统提供了丰富的资源:它包括配套工具(解析器和检查器),带有用于选择和下载实例的搜索引擎的网站以及求解器的竞赛。基于Java的建模API(称为JvCSP 3)是该完整生产链的最后开发部分。
更新日期:2020-02-06
down
wechat
bug