Effective compilation of constraint models
Effective compilation of constraint models
复制标题
约束模型的有效编译
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Rendl Andrea
中科院分区：
文献类型：
--
作者：
Rendl Andrea
登录
查看更多内容
程序优化的基础
DOI：
--
发表时间：
1971
期刊：
IFIP Congress
影响因子：
--
作者：
F. Allen
通讯作者：
F. Allen
OPL 中的约束编程
DOI：
--
发表时间：
1999
期刊：
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
影响因子：
--
作者：
Pascal Van Hentenryck;L. Michel;Laurent Perron;Jean
通讯作者：
Jean
CLP 方案上的广义约束传播
DOI：
--
发表时间：
1993
期刊：
The Journal of Logic Programming
影响因子：
--
作者：
T. L. Provost;M. Wallace
通讯作者：
M. Wallace
使用基于 SAT 的版本空间算法获取约束网络
DOI：
--
发表时间：
2006
期刊：
AAAI Conference on Artificial Intelligence
影响因子：
--
作者：
C. Bessiere;Rémi Coletta;F. Koriche;B. O’Sullivan
通讯作者：
B. O’Sullivan
使用 Gecode 进行单子约束编程
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
Pieter Wuille;Tom Schrijvers
通讯作者：
Tom Schrijvers