ConstraintsPub Date : 2022-09-27DOI: 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}
ConstraintsPub Date : 2022-06-24DOI: 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}
ConstraintsPub Date : 2022-05-28DOI: 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}
ConstraintsPub Date : 2022-05-16DOI: 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}
ConstraintsPub Date : 2022-04-28DOI: 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}
ConstraintsPub Date : 2022-04-01DOI: 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}
ConstraintsPub Date : 2022-04-01DOI: 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}
ConstraintsPub Date : 2022-01-25DOI: 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}