Constructing Rule-Based Solvers for Intentionally-Defined Constraints
Constructing Rule-Based Solvers for Intentionally-Defined Constraints
复制标题
为有意定义的约束构建基于规则的求解器
DOI：
10.1007/978-3-540-92243-8_4
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Abdennadher
中科院分区：
文献类型：
--
作者：
Abdennadher
约束求解器是约束程序设计语言的核心部分，其开发是一项费时费力的工作。在本文中，我们提出了一个通用的算法，象征性地构造基于规则的求解器的内涵定义的约束。与成熟的“生成和测试”方法不同，我们的符号构造方法能够从递归约束定义中生成递归规则。将这两种方法结合起来，比单独使用任何一种方法都能提供更好的过滤能力。
Developing constraint solvers which are key requisites of constraint programming languages is time consuming and difficult. In this paper, we propose a generic algorithm that symbolically constructs rule-based solvers from the intensional definition of the constraint. Unlike the well-established “generate and test” approach, our symbolic construction approach is capable of generating recursive rules from a recursive constraint definition. Combining the two approaches gives better filtering capabilities than either of the approaches acting alone.
登录
查看更多内容
DOI：
--
发表时间：
2005
期刊：
International Conference on Logic Programming
影响因子：
--
作者：
Jon Sneyers;Tom Schrijvers;Bart Demoen
通讯作者：
Bart Demoen
正在考虑在逻辑编程理论与实践中发表 Chr 约束求解器的自动生成
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
Slim Abdennadher;C. Rigotti
通讯作者：
C. Rigotti
证明约束求解器程序的终止
DOI：
--
发表时间：
1999
期刊：
New Trends in Constraints
影响因子：
--
作者：
Thom W. Frühwirth
通讯作者：
Thom W. Frühwirth
任意域上词典顺序约束的完整传播规则
DOI：
--
发表时间：
2005
期刊：
ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming
影响因子：
--
作者：
Thom W. Frühwirth
通讯作者：
Thom W. Frühwirth
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
M. Carlsson;Nicolas Beldiceanu
通讯作者：
Nicolas Beldiceanu