Semi-automatic Generation of CHR Solvers for Global Constraints
Semi-automatic Generation of CHR Solvers for Global Constraints
复制标题
半自动生成全局约束的 CHR 求解器
DOI：
10.1007/978-3-540-85958-1_47
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Raiser
中科院分区：
文献类型：
--
作者：
Raiser
约束编程通常涉及全局约束，已经发布了各种自定义过滤算法。这项工作提出了一个半自动生成的全局约束的子集可定义的特定自动机的求解器。该生成是基于一个约束逻辑程序建模的自动机和改进版本的Prim-Miner算法。求解器只需要生成一次，并实现超过40个全局约束的弧一致性。
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR solvers for the subset of global constraints defineable by specific automata. The generation is based on a constraint logic program modelling an automaton and an improved version of the Prim-Miner algorithm. The solvers only need to be generated once and achieve arc-consistency for over 40 global constraints.
登录
查看更多内容
全局约束目录
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
Nicolas Beldiceanu;M. Carlsson;Jean
通讯作者：
Jean
DOI：
--
发表时间：
1997
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
Slim Abdennadher
通讯作者：
Slim Abdennadher
正在考虑在逻辑编程理论与实践中发表 Chr 约束求解器的自动生成
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
Slim Abdennadher;C. Rigotti
通讯作者：
C. Rigotti
CHR 计划和限制的操作等效性
DOI：
--
发表时间：
1999
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
Slim Abdennadher;Thom W. Frühwirth
通讯作者：
Thom W. Frühwirth
全球约束目录：过去、现在和未来
影响因子：
1.6
作者：
Nicolas Beldiceanu;M. Carlsson;S. Demassey;Thierry Petit
通讯作者：
Thierry Petit