XCSP 3 and its ecosystem

IF 0.5 4区计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE

Constraints 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

引用次数: 1

Abstract

In this paper, we present a summary of XCSP³, together with its ecosystem. XCSP³ is a format used to build integrated representations of combinatorial constrained problems. Interestingly, XCSP³ 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 XCSP³ 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 JvCSP³, is the last developed piece of this complete production chain.

查看原文本刊更多论文

XCSP 3及其生态系统

在本文中，我们对XCSP3及其生态系统进行了概述。XCSP3是一种用于构建组合约束问题的集成表示的格式。有趣的是，XCSP3通过处理变量数组和约束组/块来保留模型的结构，这使得它在文献中相当独特。此外，XCSP3的生态系统提供得很好:它包括配套工具(解析器和检查器)，一个带有搜索引擎的网站，用于选择和下载实例，以及求解器的竞赛。基于java的建模API，称为JvCSP3，是这个完整生产链的最后一个开发部分。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Constraints 工程技术-计算机：理论方法

CiteScore

2.20

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： Constraints provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many application domains in which constraint technology is employed. It covers all aspects of computing with constraints: theory and practice, algorithms and systems, reasoning and programming, logics and languages.