Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence
Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence
复制标题
Athanor：本质上对抽象约束规范的高级局部搜索
DOI：
10.24963/ijcai.2019/148
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Attieh S
中科院分区：
文献类型：
--
作者：
Attieh S
登录
查看更多内容
使用 Essence 的基于约束的本地搜索框架
DOI：
10.24963/ijcai.2018/173
发表时间：
2018
期刊：
--
影响因子：
--
作者：
Akgün Ö
通讯作者：
Akgün Ö
精华中的精华
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
S. P. Schwartz
通讯作者：
S. P. Schwartz
自动改进萨维尔街的约束模型
影响因子：
14.4
作者：
Peter William Nightingale;Ozgur Akgun;Ian P. Gent;Christopher Jefferson;Ian Miguel;Patrick Spracklen
通讯作者：
Patrick Spracklen
通过 Savile Row 中的公共子表达式消除自动改进约束问题的 SAT 编码
DOI：
--
发表时间：
2015
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
Peter William Nightingale;Patrick Spracklen;Ian Miguel
通讯作者：
Ian Miguel
Conjure 中的自动对称破缺和模型选择
DOI：
--
发表时间：
2013
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
Ozgur Akgun;Alan M. Frisch;Ian P. Gent;B. Hussain;Christopher Jefferson;Lars Kotthoff;Ian Miguel;Peter William Nightingale
通讯作者：
Peter William Nightingale