Propagator Groups
Propagator Groups
复制标题
传播群体
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Christian Schulte
中科院分区：
文献类型：
--
作者：
Mikael Zayenz Lagerkvist;Christian Schulte
本文介绍了传播者组作为一个抽象的控制执行的传播者的约束的实现。传播器组使得约束编程系统的用户能够对如何执行组内的传播器进行编程。
本文证明了传播群控制传播顺序和传播的相互作用。控制传播顺序被应用于调试约束传播和最优约束传播的Berge-acyclic传播图。通过封装失败和蕴涵来控制传播子的相互作用，并应用于一般具体化和构造性析取。本文介绍了一种实现的传播群（基于Gecode），适用于任何传播中心的约束编程系统。实验表明，组产生很少或没有开销，组的应用程序是实际可用和有效的。
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constraint programming system to program how propagators within a group are executed.
The paper exemplifies propagator groups for controlling both propagation order and propagator interaction. Controlling propagation order is applied to debugging constraint propagation and optimal constraint propagation for Berge-acyclic propagator graphs. Controlling propagator interaction by encapsulating failure and entailment is applied to general reification and constructive disjunction. The paper describes an implementation of propagator groups (based on Gecode) that is applicable to any propagator-centered constraint programming system. Experiments show that groups incur little to no overhead and that the applications of groups are practically usable and efficient.
在约束条件下对等距频率排列数组进行建模
DOI：
--
发表时间：
--
期刊：
--
影响因子：
--
作者：
Ian P. Gent (Author)
通讯作者：
Ian P. Gent (Author)