XCSP3
收藏arXiv2022-11-07 更新2024-08-06 收录
下载链接：
http://arxiv.org/abs/1611.03398v4
下载链接
链接失效反馈官方服务：
资源简介：
XCSP3是一个集成格式，用于基准测试组合约束问题，支持单/多目标优化、多种变量类型、成本函数、再现实化、视图、注释、变量量化、分布式、概率和定性推理。该格式紧凑、易读且易于解析，通过声明变量数组和识别约束的语法和语义组来捕捉问题模型的结构。
XCSP3 is an integrated format for benchmarking combinatorial constraint problems. It supports single- and multi-objective optimization, various variable types, cost functions, reification, views, annotations, variable quantification, distributed reasoning, probabilistic reasoning and qualitative reasoning. This format is compact, human-readable and easy to parse, and captures the structure of problem models by declaring variable arrays and identifying syntactic and semantic groups of constraints.
创建时间：
2016-11-11
