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

Theory and Applications of Satisfiability Testing – SAT 2020最新文献

筛选
英文 中文
On Weakening Strategies for PB Solvers 关于PB求解器的弱化策略
Theory and Applications of Satisfiability Testing – SAT 2020 Pub Date : 2020-05-09 DOI: 10.1007/978-3-030-51825-7_23
Daniel Le Berre, P. Marquis, Romain Wallon
{"title":"On Weakening Strategies for PB Solvers","authors":"Daniel Le Berre, P. Marquis, Romain Wallon","doi":"10.1007/978-3-030-51825-7_23","DOIUrl":"https://doi.org/10.1007/978-3-030-51825-7_23","url":null,"abstract":"","PeriodicalId":424049,"journal":{"name":"Theory and Applications of Satisfiability Testing – SAT 2020","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129342976","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
On the Effect of Learned Clauses on Stochastic Local Search 学习子句对随机局部搜索的影响
Theory and Applications of Satisfiability Testing – SAT 2020 Pub Date : 2020-05-07 DOI: 10.1007/978-3-030-51825-7_7
Jan-Hendrik Lorenz, Florian Wörz
{"title":"On the Effect of Learned Clauses on Stochastic Local Search","authors":"Jan-Hendrik Lorenz, Florian Wörz","doi":"10.1007/978-3-030-51825-7_7","DOIUrl":"https://doi.org/10.1007/978-3-030-51825-7_7","url":null,"abstract":"","PeriodicalId":424049,"journal":{"name":"Theory and Applications of Satisfiability Testing – SAT 2020","volume":"298 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132764534","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
Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems 更好地理解(部分加权)MaxSAT证明系统
Theory and Applications of Satisfiability Testing – SAT 2020 Pub Date : 2020-03-05 DOI: 10.1007/978-3-030-51825-7_16
J. Larrosa, E. Rollon
{"title":"Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems","authors":"J. Larrosa, E. Rollon","doi":"10.1007/978-3-030-51825-7_16","DOIUrl":"https://doi.org/10.1007/978-3-030-51825-7_16","url":null,"abstract":"","PeriodicalId":424049,"journal":{"name":"Theory and Applications of Satisfiability Testing – SAT 2020","volume":"12178 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130659559","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}
引用次数: 10
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers 对SAT解算器重启的复杂性理论理解
Theory and Applications of Satisfiability Testing – SAT 2020 Pub Date : 2020-03-04 DOI: 10.1007/978-3-030-51825-7_17
Chunxiao Li, Noah Fleming, Marc Vinyals, T. Pitassi, Vijay Ganesh
{"title":"Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers","authors":"Chunxiao Li, Noah Fleming, Marc Vinyals, T. Pitassi, Vijay Ganesh","doi":"10.1007/978-3-030-51825-7_17","DOIUrl":"https://doi.org/10.1007/978-3-030-51825-7_17","url":null,"abstract":"","PeriodicalId":424049,"journal":{"name":"Theory and Applications of Satisfiability Testing – SAT 2020","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128510799","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
On CDCL-Based Proof Systems with the Ordered Decision Strategy 基于cdcl的有序决策证明系统研究
Theory and Applications of Satisfiability Testing – SAT 2020 Pub Date : 2019-09-09 DOI: 10.1007/978-3-030-51825-7_12
Nathan Mull, Shuo Pang, A. Razborov
{"title":"On CDCL-Based Proof Systems with the Ordered Decision Strategy","authors":"Nathan Mull, Shuo Pang, A. Razborov","doi":"10.1007/978-3-030-51825-7_12","DOIUrl":"https://doi.org/10.1007/978-3-030-51825-7_12","url":null,"abstract":"","PeriodicalId":424049,"journal":{"name":"Theory and Applications of Satisfiability Testing – SAT 2020","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124849820","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
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings 可满足性测试的理论与应用- SAT 2020:第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日，论文集
Theory and Applications of Satisfiability Testing – SAT 2020 Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-51825-7
Luca Pulina, M. Seidl, E. Bertino
{"title":"Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings","authors":"Luca Pulina, M. Seidl, E. Bertino","doi":"10.1007/978-3-030-51825-7","DOIUrl":"https://doi.org/10.1007/978-3-030-51825-7","url":null,"abstract":"","PeriodicalId":424049,"journal":{"name":"Theory and Applications of Satisfiability Testing – SAT 2020","volume":"43 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":"131706612","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学术官方微信