Handbook of Parallel Constraint Reasoning最新文献

筛选
英文 中文
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems 并行可满足性求解在复杂嵌入式系统验证中的应用
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_16
Orlando Ferrante, A. Ferrari, Christos Sofronis, L. Mangeruca, L. Benvenuti
{"title":"An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems","authors":"Orlando Ferrante, A. Ferrari, Christos Sofronis, L. Mangeruca, L. Benvenuti","doi":"10.1007/978-3-319-63516-3_16","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_16","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123421982","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Parallel Satisfiability Modulo Theories 平行可满足模理论
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_5
A. Hyvärinen, C. Wintersteiger
{"title":"Parallel Satisfiability Modulo Theories","authors":"A. Hyvärinen, C. Wintersteiger","doi":"10.1007/978-3-319-63516-3_5","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_5","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121606776","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Parallel Answer Set Programming 并行答案集编程
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_7
A. Dovier, A. Formisano, Enrico Pontelli
{"title":"Parallel Answer Set Programming","authors":"A. Dovier, A. Formisano, Enrico Pontelli","doi":"10.1007/978-3-319-63516-3_7","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_7","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"198 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132071239","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Parallel Theorem Proving 平行定理证明
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_6
M. P. Bonacina
{"title":"Parallel Theorem Proving","authors":"M. P. Bonacina","doi":"10.1007/978-3-319-63516-3_6","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_6","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116393178","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Selection and Configuration of Parallel Portfolios 平行投资组合的选择与配置
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_15
M. Lindauer, H. Hoos, F. Hutter, Kevin Leyton-Brown
{"title":"Selection and Configuration of Parallel Portfolios","authors":"M. Lindauer, H. Hoos, F. Hutter, Kevin Leyton-Brown","doi":"10.1007/978-3-319-63516-3_15","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_15","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122413879","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Parallel Local Search 并行本地搜索
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_10
P. Codognet, Danny Múnera, Daniel Diaz, Salvador Abreu
{"title":"Parallel Local Search","authors":"P. Codognet, Danny Múnera, Daniel Diaz, Salvador Abreu","doi":"10.1007/978-3-319-63516-3_10","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_10","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132894739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Parallel Solvers for Mixed Integer Linear Optimization 混合整数线性优化的并行求解器
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_8
T. Ralphs, Y. Shinano, Timo Berthold, T. Koch
{"title":"Parallel Solvers for Mixed Integer Linear Optimization","authors":"T. Ralphs, Y. Shinano, Timo Berthold, T. Koch","doi":"10.1007/978-3-319-63516-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_8","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124767040","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 31
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学术官方微信