发布求助
文献互助 智能选刊 最新文献

Constraints最新文献

筛选
英文 中文
Introduction to the CPAIOR 2020 fast track issue CPAIOR 2020快速通道问题介绍
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-12-01 DOI: 10.1007/s10601-020-09319-w
E. Hébrard, Nysret Musliu
{"title":"Introduction to the CPAIOR 2020 fast track issue","authors":"E. Hébrard, Nysret Musliu","doi":"10.1007/s10601-020-09319-w","DOIUrl":"https://doi.org/10.1007/s10601-020-09319-w","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"298 - 299"},"PeriodicalIF":1.6,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09319-w","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45069075","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
Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints 电缆树布线-对具有各种优先约束的实际调度问题的基准求解器
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-11-25 DOI: 10.1007/s10601-021-09321-w
Jana Koehler, J. Bürgler, Urs Fontana, Etienne Fux, Florian A. Herzog, M. Pouly, Sophia Saller, Anastasia Salyaeva, Peter Scheiblechner, Kai Waelti
{"title":"Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints","authors":"Jana Koehler, J. Bürgler, Urs Fontana, Etienne Fux, Florian A. Herzog, M. Pouly, Sophia Saller, Anastasia Salyaeva, Peter Scheiblechner, Kai Waelti","doi":"10.1007/s10601-021-09321-w","DOIUrl":"https://doi.org/10.1007/s10601-021-09321-w","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"26 1","pages":"56 - 106"},"PeriodicalIF":1.6,"publicationDate":"2020-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-021-09321-w","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41654280","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}
引用次数: 3
The potential of quantum annealing for rapid solution structure identification 量子退火在快速溶液结构识别中的潜力
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-11-18 DOI: 10.1007/s10601-020-09315-0
Yuchen Pang, Carleton Coffrin, A. Lokhov, Marc Vuffray
{"title":"The potential of quantum annealing for rapid solution structure identification","authors":"Yuchen Pang, Carleton Coffrin, A. Lokhov, Marc Vuffray","doi":"10.1007/s10601-020-09315-0","DOIUrl":"https://doi.org/10.1007/s10601-020-09315-0","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"26 1","pages":"1 - 25"},"PeriodicalIF":1.6,"publicationDate":"2020-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09315-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46259959","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
Exact and flexible solution approach to a critical chain project management problem 关键链项目管理问题的精确而灵活的解决方法
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-11-10 DOI: 10.1007/s10601-020-09314-1
H. Goto, Alan T. Murray
{"title":"Exact and flexible solution approach to a critical chain project management problem","authors":"H. Goto, Alan T. Murray","doi":"10.1007/s10601-020-09314-1","DOIUrl":"https://doi.org/10.1007/s10601-020-09314-1","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"280 - 297"},"PeriodicalIF":1.6,"publicationDate":"2020-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09314-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43060358","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
A new constraint programming model and solving for the cyclic hoist scheduling problem 一种新的约束规划模型及循环提升机调度问题的求解
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-11-09 DOI: 10.1007/s10601-020-09316-z
M. Wallace, N. Yorke-Smith
{"title":"A new constraint programming model and solving for the cyclic hoist scheduling problem","authors":"M. Wallace, N. Yorke-Smith","doi":"10.1007/s10601-020-09316-z","DOIUrl":"https://doi.org/10.1007/s10601-020-09316-z","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"319 - 337"},"PeriodicalIF":1.6,"publicationDate":"2020-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09316-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42454660","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}
引用次数: 3
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers 基于动态对称处理的SAT求解器的UNSAT结果验证
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-10-30 DOI: 10.1007/s10601-020-09313-2
Rodrigue Konan Tchinda, C. T. Djamégni
{"title":"On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers","authors":"Rodrigue Konan Tchinda, C. T. Djamégni","doi":"10.1007/s10601-020-09313-2","DOIUrl":"https://doi.org/10.1007/s10601-020-09313-2","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"251 - 279"},"PeriodicalIF":1.6,"publicationDate":"2020-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09313-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42473756","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
Efficient multiple constraint acquisition 高效的多约束获取
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-09-17 DOI: 10.1007/s10601-020-09311-4
Dimosthenis C. Tsouros, Kostas Stergiou
{"title":"Efficient multiple constraint acquisition","authors":"Dimosthenis C. Tsouros, Kostas Stergiou","doi":"10.1007/s10601-020-09311-4","DOIUrl":"https://doi.org/10.1007/s10601-020-09311-4","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"180 - 225"},"PeriodicalIF":1.6,"publicationDate":"2020-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09311-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49343663","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
The flexible and real-time commute trip sharing problems 灵活实时的通勤出行共享问题
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-08-19 DOI: 10.1007/s10601-020-09310-5
M. Hasan, Pascal Van Hentenryck
{"title":"The flexible and real-time commute trip sharing problems","authors":"M. Hasan, Pascal Van Hentenryck","doi":"10.1007/s10601-020-09310-5","DOIUrl":"https://doi.org/10.1007/s10601-020-09310-5","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"160 - 179"},"PeriodicalIF":1.6,"publicationDate":"2020-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09310-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44100165","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}
引用次数: 3
Non-local configuration of component interfaces by constraint satisfaction 基于约束满足的组件接口非本地配置
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-08-05 DOI: 10.1007/s10601-020-09309-y
O. Tveretina, Pavel Zaichenkov, A. Shafarenko
{"title":"Non-local configuration of component interfaces by constraint satisfaction","authors":"O. Tveretina, Pavel Zaichenkov, A. Shafarenko","doi":"10.1007/s10601-020-09309-y","DOIUrl":"https://doi.org/10.1007/s10601-020-09309-y","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"121 - 159"},"PeriodicalIF":1.6,"publicationDate":"2020-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09309-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42081139","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}
引用次数: 4
Invariants for time-series constraints 时间序列约束的不变量
IF 1.6 4区 计算机科学
Constraints Pub Date : 2020-07-18 DOI: 10.1007/s10601-020-09308-z
Ekaterina Arafailova, Nicolas Beldiceanu, H. Simonis
{"title":"Invariants for time-series constraints","authors":"Ekaterina Arafailova, Nicolas Beldiceanu, H. Simonis","doi":"10.1007/s10601-020-09308-z","DOIUrl":"https://doi.org/10.1007/s10601-020-09308-z","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"25 1","pages":"71 - 120"},"PeriodicalIF":1.6,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-020-09308-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48655113","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
首页 上一页 下一页 尾页
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学术官方微信