Learning When to Use Automatic Tabulation in Constraint Model Reformulation
Learning When to Use Automatic Tabulation in Constraint Model Reformulation
复制标题
学习何时在约束模型重构中使用自动制表
DOI：
10.24963/ijcai.2023/211
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Cena C
中科院分区：
文献类型：
--
作者：
Cena C
登录
查看更多内容
用于约束求解器组合的增强型特征提取器
DOI：
--
发表时间：
2013
期刊：
ACM Symposium on Applied Computing
影响因子：
--
作者：
R. Amadini;M. Gabbrielli;J. Mauro
通讯作者：
J. Mauro
CADICAL、KISSAT、PARACOOBA 参加 2021 年 SAT 比赛
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
Armin Biere;M. Fleury;Maximilian Heisinger
通讯作者：
Maximilian Heisinger
DOI：
--
发表时间：
2013
期刊：
IEEE International Conference on Tools with Artificial Intelligence
影响因子：
--
作者：
María Andreína Francisco Rodríguez;P. Flener;J. Pearson
通讯作者：
J. Pearson
自动改进萨维尔街的约束模型
影响因子：
14.4
作者：
Peter William Nightingale;Ozgur Akgun;Ian P. Gent;Christopher Jefferson;Ian Miguel;Patrick Spracklen
通讯作者：
Patrick Spracklen
萨维尔街手册
DOI：
--
发表时间：
2021
期刊：
arXiv.org
影响因子：
--
作者：
P. Nightingale
通讯作者：
P. Nightingale