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

Handbook of Parallel Constraint Reasoning最新文献

筛选
英文 中文
Parallel Model-Based Diagnosis 基于并行模型的诊断
Handbook of Parallel Constraint Reasoning Pub Date : 2018-04-05 DOI: 10.1007/978-3-319-63516-3_14
Konstantin Schekotihin, D. Jannach, Thomas Schmitz
{"title":"Parallel Model-Based Diagnosis","authors":"Konstantin Schekotihin, D. Jannach, Thomas Schmitz","doi":"10.1007/978-3-319-63516-3_14","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_14","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130187994","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}
引用次数: 2
Parallel Maximum Satisfiability 并行最大可满足性
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_3
I. Lynce, Vasco M. Manquinho, R. Martins
{"title":"Parallel Maximum Satisfiability","authors":"I. Lynce, Vasco M. Manquinho, R. Martins","doi":"10.1007/978-3-319-63516-3_3","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_3","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"117 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":"115183898","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}
引用次数: 7
Parallel Constraint Programming 并行约束规划
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_9
Jean-Charles Régin, Arnaud Malapert
{"title":"Parallel Constraint Programming","authors":"Jean-Charles Régin, Arnaud Malapert","doi":"10.1007/978-3-319-63516-3_9","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_9","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"27 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":"114599557","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}
引用次数: 5
Parallel Satisfiability 平行的可满足性
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_1
Tomás Balyo, C. Sinz
{"title":"Parallel Satisfiability","authors":"Tomás Balyo, C. Sinz","doi":"10.1007/978-3-319-63516-3_1","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_1","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"1 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":"122258485","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}
引用次数: 15
Cube-and-Conquer for Satisfiability 立方体和征服的满意度
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_2
Marijn J. H. Heule, O. Kullmann, Armin Biere
{"title":"Cube-and-Conquer for Satisfiability","authors":"Marijn J. H. Heule, O. Kullmann, Armin Biere","doi":"10.1007/978-3-319-63516-3_2","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_2","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"11 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":"122276541","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}
引用次数: 22
Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks 基于并行约束的局部搜索:在弹性长距离无源光网络设计中的应用
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_17
Alejandro Arbelaez, D. Mehta, B. O’Sullivan, L. Quesada
{"title":"Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks","authors":"Alejandro Arbelaez, D. Mehta, B. O’Sullivan, L. Quesada","doi":"10.1007/978-3-319-63516-3_17","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_17","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"323 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":"131998814","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 Model Checking Algorithms for Linear-Time Temporal Logic 线性-时间逻辑的并行模型检验算法
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_12
J. Barnat, Vincent Bloemen, A. Duret-Lutz, A. Laarman, L. Petrucci, J. Pol, E. Renault
{"title":"Parallel Model Checking Algorithms for Linear-Time Temporal Logic","authors":"J. Barnat, Vincent Bloemen, A. Duret-Lutz, A. Laarman, L. Petrucci, J. Pol, E. Renault","doi":"10.1007/978-3-319-63516-3_12","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_12","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"27 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":"129420415","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}
引用次数: 18
Parallel Solving of Quantified Boolean Formulas 量化布尔公式的并行求解
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_4
Florian Lonsing, M. Seidl
{"title":"Parallel Solving of Quantified Boolean Formulas","authors":"Florian Lonsing, M. Seidl","doi":"10.1007/978-3-319-63516-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_4","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"26 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":"133077869","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}
引用次数: 2
Multi-core Decision Diagrams 多核决策图
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_13
T. V. Dijk, J. Pol
{"title":"Multi-core Decision Diagrams","authors":"T. V. Dijk, J. Pol","doi":"10.1007/978-3-319-63516-3_13","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_13","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":"129443933","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 A* for State-Space Search 并行A*状态空间搜索
Handbook of Parallel Constraint Reasoning Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63516-3_11
A. Fukunaga, A. Botea, Yuu Jinnai, Akihiro Kishimoto
{"title":"Parallel A* for State-Space Search","authors":"A. Fukunaga, A. Botea, Yuu Jinnai, Akihiro Kishimoto","doi":"10.1007/978-3-319-63516-3_11","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_11","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"139 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":"128460949","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}
引用次数: 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学术官方微信