Benchmark Dataset for ITE
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/ite4cp/ite
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一个基准数据集，其中包含了大量依赖析取子句的约束公式，特别是全局约束Domain、Element、Lex和Mulctr。实验在Linux系统上的SICStus Prolog 4.5.1版本中进行，所有实验旨在比较ITE框架与其他实现的传播性能。研究任务是对使用ITE和常规Clpfd操作符的全局约束实现进行比较分析。
This dataset is a benchmark dataset containing a large number of constraint formulas relying on disjunctive clauses, particularly the global constraints Domain, Element, Lex, and Mulctr. All experiments were conducted on SICStus Prolog 4.5.1 under the Linux operating system, with the aim of comparing the propagation performance of the ITE framework against other implementations. The research task involves a comparative analysis of global constraint implementations utilizing both ITE and conventional Clpfd operators.
提供机构：
ITE Framework
