Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains
复制标题
自动生成小型有限域的约束传播算法
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Leila Bastos Leal
中科院分区：
文献类型：
--
作者：
Maira Ludna Duarte;Aurylanne Mikaelle Brandão Silva;José Wellithom Viturino da Silva;Davi Pereira Santana;Whocely Victor de Castro;Luiz Cláudio Arraes de Alencar;Danilo César Galindo Bedor;Leila Bastos Leal
我们在这里研究的约束满足问题是基于预定义的，明确给定的有限约束。为了解决这些问题，我们提出了一个概念，规则的一致性，可以表示在规则的初始约束的显式表示。
We study here constraint satisfaction problems that are based on predefined, explicitly given finite constraints. To solve them we propose a notion of rule consistency that can be expressed in terms of rules derived from the explicit representation of the initial constraints.