Constraints最新文献

筛选
英文 中文
Short- and medium-term optimization of underground mine planning using constraint programming 应用约束规划的地下矿山规划中短期优化
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-09-27 DOI: 10.1007/s10601-022-09337-w
Louis-Pierre Campeau, M. Gamache
{"title":"Short- and medium-term optimization of underground mine planning using constraint programming","authors":"Louis-Pierre Campeau, M. Gamache","doi":"10.1007/s10601-022-09337-w","DOIUrl":"https://doi.org/10.1007/s10601-022-09337-w","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"414 - 431"},"PeriodicalIF":1.6,"publicationDate":"2022-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44725578","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Solution sampling with random table constraints 具有随机表约束的解采样
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-06-24 DOI: 10.1007/s10601-022-09329-w
Mathieu Vavrille, C. Truchet, Charles Prud’homme
{"title":"Solution sampling with random table constraints","authors":"Mathieu Vavrille, C. Truchet, Charles Prud’homme","doi":"10.1007/s10601-022-09329-w","DOIUrl":"https://doi.org/10.1007/s10601-022-09329-w","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"381 - 413"},"PeriodicalIF":1.6,"publicationDate":"2022-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48322394","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids 约束规划如何帮助化学家生成苯类化合物结构并评估苯类化合物的局部芳香性
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-05-28 DOI: 10.1007/s10601-022-09328-x
Yannick Carissan, D. Hagebaum-Reignier, Nicolas Prcovic, C. Terrioux, A. Varet
{"title":"How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids","authors":"Yannick Carissan, D. Hagebaum-Reignier, Nicolas Prcovic, C. Terrioux, A. Varet","doi":"10.1007/s10601-022-09328-x","DOIUrl":"https://doi.org/10.1007/s10601-022-09328-x","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"82 2","pages":"192 - 248"},"PeriodicalIF":1.6,"publicationDate":"2022-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41269374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
When bounds consistency implies domain consistency for regular counting constraints 当边界一致性意味着正则计数约束的域一致性时
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-05-20 DOI: 10.1007/s10601-022-09333-0
B. Martin, J. Pearson
{"title":"When bounds consistency implies domain consistency for regular counting constraints","authors":"B. Martin, J. Pearson","doi":"10.1007/s10601-022-09333-0","DOIUrl":"https://doi.org/10.1007/s10601-022-09333-0","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"161 - 167"},"PeriodicalIF":1.6,"publicationDate":"2022-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43244855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The smallest hard trees 最小的硬树
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-05-16 DOI: 10.1007/s10601-023-09341-8
M. Bodirsky, Jakub Bulín, Florian Starke, Michael Wernthaler
{"title":"The smallest hard trees","authors":"M. Bodirsky, Jakub Bulín, Florian Starke, Michael Wernthaler","doi":"10.1007/s10601-023-09341-8","DOIUrl":"https://doi.org/10.1007/s10601-023-09341-8","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"28 1","pages":"105 - 137"},"PeriodicalIF":1.6,"publicationDate":"2022-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48980310","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Learning the travelling salesperson problem requires rethinking generalization 学习旅行推销员问题需要重新思考概括
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-04-28 DOI: 10.1007/s10601-022-09327-y
Chaitanya K. Joshi, Quentin Cappart, Louis-Martin Rousseau, Thomas Laurent
{"title":"Learning the travelling salesperson problem requires rethinking generalization","authors":"Chaitanya K. Joshi, Quentin Cappart, Louis-Martin Rousseau, Thomas Laurent","doi":"10.1007/s10601-022-09327-y","DOIUrl":"https://doi.org/10.1007/s10601-022-09327-y","url":null,"abstract":"<p>End-to-end training of neural network solvers for graph combinatorial optimization problems such as the Travelling Salesperson Problem (TSP) have seen a surge of interest recently, but remain intractable and inefficient beyond graphs with few hundreds of nodes. While state-of-the-art learning-driven approaches for TSP perform closely to classical solvers when trained on trivially small sizes, they are unable to generalize the learnt policy to larger instances at practical scales. This work presents an end-to-end <i>neural combinatorial optimization</i> pipeline that unifies several recent papers in order to identify the inductive biases, model architectures and learning algorithms that promote generalization to instances larger than those seen in training. Our controlled experiments provide the first principled investigation into such <i>zero-shot</i> generalization, revealing that extrapolating beyond training data requires rethinking the neural combinatorial optimization pipeline, from network layers and learning paradigms to evaluation protocols. Additionally, we analyze recent advances in deep learning for routing problems through the lens of our pipeline and provide new directions to stimulate future research.</p>","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"23 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2022-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138503088","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A constraint-based approach to learn temporal features on action models from multiple plans 基于约束的多计划动作模型时间特征学习方法
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-04-01 DOI: 10.1007/s10601-022-09330-3
Antonio Garrido
{"title":"A constraint-based approach to learn temporal features on action models from multiple plans","authors":"Antonio Garrido","doi":"10.1007/s10601-022-09330-3","DOIUrl":"https://doi.org/10.1007/s10601-022-09330-3","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"134 - 160"},"PeriodicalIF":1.6,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Concise integer linear programming formulation for clique partitioning problems 团划分问题的简洁整数线性规划公式
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-04-01 DOI: 10.1007/s10601-022-09326-z
M. Koshimura, Emi Watanabe, Y. Sakurai, M. Yokoo
{"title":"Concise integer linear programming formulation for clique partitioning problems","authors":"M. Koshimura, Emi Watanabe, Y. Sakurai, M. Yokoo","doi":"10.1007/s10601-022-09326-z","DOIUrl":"https://doi.org/10.1007/s10601-022-09326-z","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"99 - 115"},"PeriodicalIF":1.6,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47466457","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs 一类唯一Hamilton图的完全对称破缺约束
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-01-25 DOI: 10.1007/s10601-021-09323-8
Avraham Itzhakov, M. Codish
{"title":"Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs","authors":"Avraham Itzhakov, M. Codish","doi":"10.1007/s10601-021-09323-8","DOIUrl":"https://doi.org/10.1007/s10601-021-09323-8","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"8 - 28"},"PeriodicalIF":1.6,"publicationDate":"2022-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44752658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Boosting isomorphic model filtering with invariants 用不变量增强同构模型滤波
IF 1.6 4区 计算机科学
Constraints Pub Date : 2022-01-21 DOI: 10.1007/s10601-022-09336-x
João Araújo, Choiwah Chow, Mikoláš Janota
{"title":"Boosting isomorphic model filtering with invariants","authors":"João Araújo, Choiwah Chow, Mikoláš Janota","doi":"10.1007/s10601-022-09336-x","DOIUrl":"https://doi.org/10.1007/s10601-022-09336-x","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"360 - 379"},"PeriodicalIF":1.6,"publicationDate":"2022-01-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47179937","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信