Constraints最新文献

筛选
英文 中文
Learning optimal decision trees using constraint programming 使用约束规划学习最优决策树
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-07-01 DOI: 10.1007/s10601-020-09312-3
Hélène Verhaeghe, Siegfried Nijssen, G. Pesant, Claude-Guy Quimper, P. Schaus
{"title":"Learning optimal decision trees using constraint programming","authors":"Hélène Verhaeghe, Siegfried Nijssen, G. Pesant, Claude-Guy Quimper, P. Schaus","doi":"10.1007/s10601-020-09312-3","DOIUrl":"https://doi.org/10.1007/s10601-020-09312-3","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"226 - 250"},"PeriodicalIF":1.6,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09312-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41927379","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}
引用次数: 67
Learning the travelling salesperson problem requires rethinking generalization 学习旅行推销员问题需要重新思考概括
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-06-12 DOI: 10.4230/LIPIcs.CP.2021.33
Chaitanya K. Joshi, Quentin Cappart, Louis-Martin Rousseau, T. Laurent
{"title":"Learning the travelling salesperson problem requires rethinking generalization","authors":"Chaitanya K. Joshi, Quentin Cappart, Louis-Martin Rousseau, T. Laurent","doi":"10.4230/LIPIcs.CP.2021.33","DOIUrl":"https://doi.org/10.4230/LIPIcs.CP.2021.33","url":null,"abstract":"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 neural combinatorial optimization 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 zero-shot 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.","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"70 - 98"},"PeriodicalIF":1.6,"publicationDate":"2020-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42327443","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}
引用次数: 31
XCSP 3 and its ecosystem XCSP 3及其生态系统
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-02-06 DOI: 10.1007/s10601-019-09307-9
Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel
{"title":"XCSP 3 and its ecosystem","authors":"Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel","doi":"10.1007/s10601-019-09307-9","DOIUrl":"https://doi.org/10.1007/s10601-019-09307-9","url":null,"abstract":"In this paper, we present a summary of XCSP<sup>3</sup>, together with its ecosystem. XCSP<sup>3</sup> is a format used to build integrated representations of combinatorial constrained problems. Interestingly, XCSP<sup>3</sup> preserves the structure of models, by handling arrays of variables and groups/blocks of constraints, which makes it rather unique in the literature. Furthermore, the ecosystem of XCSP<sup>3</sup> is well supplied: it includes companion tools (parsers and checkers), a website with a search engine for selecting and downloading instances, and competitions of solvers. The Java-based modeling API, called JvCSP<sup>3</sup>, is the last developed piece of this complete production chain.","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 3","pages":""},"PeriodicalIF":1.6,"publicationDate":"2020-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138503077","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
Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem 综合整数规划和决策图搜索树及其在最大独立集问题中的应用
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-01-15 DOI: 10.1007/s10601-019-09306-w
Jaime E. González, A. Ciré, Andrea Lodi, Louis-Martin Rousseau
{"title":"Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem","authors":"Jaime E. González, A. Ciré, Andrea Lodi, Louis-Martin Rousseau","doi":"10.1007/s10601-019-09306-w","DOIUrl":"https://doi.org/10.1007/s10601-019-09306-w","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"23 - 46"},"PeriodicalIF":1.6,"publicationDate":"2020-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-019-09306-w","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195928","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}
引用次数: 13
Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs 用强制模式和禁止模式生成图形的约束:在分子图中的应用
IF 1.6 4区 计算机科学
Constraints Pub Date : 2019-12-20 DOI: 10.1007/s10601-019-09305-x
Mohamed Amine Omrani, Wady Naanaa
{"title":"Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs","authors":"Mohamed Amine Omrani, Wady Naanaa","doi":"10.1007/s10601-019-09305-x","DOIUrl":"https://doi.org/10.1007/s10601-019-09305-x","url":null,"abstract":"Although graphs are widely used to encode and solve various computational problems, little research exists on constrained graph construction. The current research was carried out to shed light on the problem of generating graphs, where the construction process is guided by various structural restrictions, like vertex degrees, proximity among vertices, and imposed and forbidden patterns. The main contribution of this paper is an encoding of the constrained graph generation problem in terms of a constraint satisfaction problem (CSP). This approach is motivated by the flurry of efficient solution algorithms available within the constraint programming (CP) framework. The obtained encoding has given rise to the CP-MolGen program, a new open source program dedicated to the generation of molecular graphs with imposed and forbidden fragments. Experimental results on several real-world molecular graph generation instances have shown the effectiveness and efficiency of the proposed program, especially the benefits of forbidding cyclic patterns as induced subgraphs.","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"28 1","pages":"1 - 22"},"PeriodicalIF":1.6,"publicationDate":"2019-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138503076","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
Power of pre-processing: production scheduling with variable energy pricing and power-saving states 预处理能力:具有可变能源定价和节能状态的生产调度
IF 1.6 4区 计算机科学
Constraints Pub Date : 2019-12-05 DOI: 10.1007/s10601-020-09317-y
Ondřej Benedikt, I. Módos, Z. Hanzálek
{"title":"Power of pre-processing: production scheduling with variable energy pricing and power-saving states","authors":"Ondřej Benedikt, I. Módos, Z. Hanzálek","doi":"10.1007/s10601-020-09317-y","DOIUrl":"https://doi.org/10.1007/s10601-020-09317-y","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"300 - 318"},"PeriodicalIF":1.6,"publicationDate":"2019-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09317-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46428023","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
Correction to: The potential of quantum annealing for rapid solution structure identification 更正:量子退火在快速溶液结构识别中的潜力
IF 1.6 4区 计算机科学
Constraints Pub Date : 2019-12-04 DOI: 10.2172/1599019
Yuchen Pang, Carleton Coffrin, A. Lokhov, Marc Vuffray
{"title":"Correction to: The potential of quantum annealing for rapid solution structure identification","authors":"Yuchen Pang, Carleton Coffrin, A. Lokhov, Marc Vuffray","doi":"10.2172/1599019","DOIUrl":"https://doi.org/10.2172/1599019","url":null,"abstract":"A Correction to this paper has been published: https://doi.org/10.1007/s10601-021-09320-x","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"26 1","pages":"107"},"PeriodicalIF":1.6,"publicationDate":"2019-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41649612","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}
引用次数: 6
Propagation complete encodings of smooth DNNF theories 平滑DNNF理论的传播完全编码
IF 1.6 4区 计算机科学
Constraints Pub Date : 2019-09-14 DOI: 10.1007/s10601-022-09331-2
P. Kucera, P. Savický
{"title":"Propagation complete encodings of smooth DNNF theories","authors":"P. Kucera, P. Savický","doi":"10.1007/s10601-022-09331-2","DOIUrl":"https://doi.org/10.1007/s10601-022-09331-2","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"327 - 359"},"PeriodicalIF":1.6,"publicationDate":"2019-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48772858","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}
引用次数: 6
Incentive-based search for equilibria in boolean games 布尔博弈中基于激励的均衡搜索
IF 1.6 4区 计算机科学
Constraints Pub Date : 2019-08-20 DOI: 10.1007/s10601-019-09304-y
V. Levit, Zohar Komarovsky, Tal Grinshpoun, A. Bazzan, A. Meisels
{"title":"Incentive-based search for equilibria in boolean games","authors":"V. Levit, Zohar Komarovsky, Tal Grinshpoun, A. Bazzan, A. Meisels","doi":"10.1007/s10601-019-09304-y","DOIUrl":"https://doi.org/10.1007/s10601-019-09304-y","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"24 1","pages":"288 - 319"},"PeriodicalIF":1.6,"publicationDate":"2019-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-019-09304-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195904","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
Constraint Games for stable and optimal allocation of demands in SDN SDN中稳定最优需求分配的约束博弈
IF 1.6 4区 计算机科学
Constraints Pub Date : 2019-04-29 DOI: 10.1007/s10601-019-09303-z
A. Palmieri, Arnaud Lallouet, Luc Pons
{"title":"Constraint Games for stable and optimal allocation of demands in SDN","authors":"A. Palmieri, Arnaud Lallouet, Luc Pons","doi":"10.1007/s10601-019-09303-z","DOIUrl":"https://doi.org/10.1007/s10601-019-09303-z","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"24 1","pages":"252 - 287"},"PeriodicalIF":1.6,"publicationDate":"2019-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-019-09303-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46505728","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
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学术官方微信