An automated approach to generating efficient constraint solvers
An automated approach to generating efficient constraint solvers
复制标题
生成高效约束求解器的自动化方法
DOI：
10.1109/icse.2012.6227151
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Balasubramaniam D
中科院分区：
文献类型：
--
作者：
Balasubramaniam D
登录
查看更多内容
优雅图形中的对称性破缺
DOI：
--
发表时间：
2003
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
K. Petrie;Barbara M. Smith
通讯作者：
Barbara M. Smith
EasySyn：自动综合随机局部搜索算法的工具
影响因子：
2.7
作者：
L. Gaspero;Andrea Schaerf
通讯作者：
Andrea Schaerf
DOI：
10.1017/s0269888901000029
发表时间：
2001
期刊：
The Knowledge Engineering Review
影响因子：
--
作者：
S. Westfold;Douglas R. Smith
通讯作者：
Douglas R. Smith
Aeon：从高级模型综合调度算法
DOI：
10.1007/978-0-387-88843-9_3
发表时间：
2009
期刊：
ArXiv
影响因子：
--
作者：
Jean;Y. Deville;Pascal Van Hentenryck
通讯作者：
Pascal Van Hentenryck
基于知识的约束驱动软件综合
DOI：
--
发表时间：
1992
期刊：
Proceedings of the Seventh Knowledge-Based Software Engineering Conference
影响因子：
--
作者：
Tobiah E. Smith;D. Setliff
通讯作者：
D. Setliff