Generalized support and formal development of constraint propagators
Generalized support and formal development of constraint propagators
复制标题
约束传播器的广义支持和正式开发
DOI：
10.3233/aic-170740
复制
发表时间：
2017
影响因子：
0.8
通讯作者：
Caldwell J
中科院分区：
文献类型：
--
作者：
Caldwell J
登录
查看更多内容
DOI：
--
发表时间：
2006
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
Guido Tack;Christian Schulte;G. Smolka
通讯作者：
G. Smolka
全局约束的可处理性
DOI：
--
发表时间：
2004
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
C. Bessiere;E. Hébrard;Brahim Hnich;T. Walsh
通讯作者：
T. Walsh
反应性约束的传播完整性
DOI：
--
发表时间：
2002
期刊：
International Conference on Logic Programming
影响因子：
--
作者：
Michael J. Maher
通讯作者：
Michael J. Maher
DOI：
--
发表时间：
1999
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
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
通讯作者：
Leila Bastos Leal
影响因子：
14.4
作者：
Pascal Van Hentenryck;H. Simonis;Mehmet Dincbas
通讯作者：
Mehmet Dincbas