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

International Conference on Theory and Applications of Satisfiability Testing最新文献

筛选
英文 中文
Mycielski Graphs and PR Proofs Mycielski图和PR证明
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2020-07-03 DOI: 10.1007/978-3-030-51825-7_15
Emre Yolcu, Xinyu Wu, Marijn J. H. Heule
{"title":"Mycielski Graphs and PR Proofs","authors":"Emre Yolcu, Xinyu Wu, Marijn J. H. Heule","doi":"10.1007/978-3-030-51825-7_15","DOIUrl":"https://doi.org/10.1007/978-3-030-51825-7_15","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116454539","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
Combining Resolution-Path Dependencies with Dependency Learning 结合解决路径依赖和依赖学习
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2019-07-07 DOI: 10.1007/978-3-030-24258-9_22
Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
{"title":"Combining Resolution-Path Dependencies with Dependency Learning","authors":"Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider","doi":"10.1007/978-3-030-24258-9_22","DOIUrl":"https://doi.org/10.1007/978-3-030-24258-9_22","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133761686","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}
引用次数: 4
Verifying Binarized Neural Networks by Angluin-Style Learning 用Angluin-Style学习验证二值化神经网络
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2019-07-07 DOI: 10.1007/978-3-030-24258-9_25
Andy Shih, Adnan Darwiche, Arthur Choi
{"title":"Verifying Binarized Neural Networks by Angluin-Style Learning","authors":"Andy Shih, Adnan Darwiche, Arthur Choi","doi":"10.1007/978-3-030-24258-9_25","DOIUrl":"https://doi.org/10.1007/978-3-030-24258-9_25","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134267983","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}
引用次数: 39
QRAT Polynomially Simulates ∀ text -Exp+Res 多项式地模拟∀text -Exp+Res
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2019-07-07 DOI: 10.1007/978-3-030-24258-9_13
B. Kiesl, M. Seidl
{"title":"QRAT Polynomially Simulates ∀ text -Exp+Res","authors":"B. Kiesl, M. Seidl","doi":"10.1007/978-3-030-24258-9_13","DOIUrl":"https://doi.org/10.1007/978-3-030-24258-9_13","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122228265","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}
引用次数: 3
Incremental Inprocessing in SAT Solving SAT求解中的增量加工
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2019-07-07 DOI: 10.1007/978-3-030-24258-9_9
Katalin Fazekas, Armin Biere, Christoph Scholl
{"title":"Incremental Inprocessing in SAT Solving","authors":"Katalin Fazekas, Armin Biere, Christoph Scholl","doi":"10.1007/978-3-030-24258-9_9","DOIUrl":"https://doi.org/10.1007/978-3-030-24258-9_9","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114718320","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}
引用次数: 32
On Computing the Union of MUSes 论缪斯联合的计算
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2019-07-07 DOI: 10.1007/978-3-030-24258-9_15
Carlos Mencía, O. Kullmann, Alexey Ignatiev, Joao Marques-Silva
{"title":"On Computing the Union of MUSes","authors":"Carlos Mencía, O. Kullmann, Alexey Ignatiev, Joao Marques-Silva","doi":"10.1007/978-3-030-24258-9_15","DOIUrl":"https://doi.org/10.1007/978-3-030-24258-9_15","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117159056","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}
引用次数: 14
Assessing Heuristic Machine Learning Explanations with Model Counting 用模型计数评估启发式机器学习解释
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2019-07-07 DOI: 10.1007/978-3-030-24258-9_19
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques-Silva
{"title":"Assessing Heuristic Machine Learning Explanations with Model Counting","authors":"Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques-Silva","doi":"10.1007/978-3-030-24258-9_19","DOIUrl":"https://doi.org/10.1007/978-3-030-24258-9_19","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"275 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122812761","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}
引用次数: 46
DRMaxSAT with MaxHS: First Contact 带MaxHS的DRMaxSAT:第一次接触
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2019-07-07 DOI: 10.1007/978-3-030-24258-9_17
António Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joao Marques-Silva, S. Buss
{"title":"DRMaxSAT with MaxHS: First Contact","authors":"António Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joao Marques-Silva, S. Buss","doi":"10.1007/978-3-030-24258-9_17","DOIUrl":"https://doi.org/10.1007/978-3-030-24258-9_17","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117284361","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
Simplifying CDCL Clause Database Reduction 简化CDCL子句数据库缩减
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2019-07-07 DOI: 10.1007/978-3-030-24258-9_12
S. Jamali, D. Mitchell
{"title":"Simplifying CDCL Clause Database Reduction","authors":"S. Jamali, D. Mitchell","doi":"10.1007/978-3-030-24258-9_12","DOIUrl":"https://doi.org/10.1007/978-3-030-24258-9_12","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127549273","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}
引用次数: 3
Speeding Up Assumption-Based SAT 加速基于假设的SAT
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2019-07-07 DOI: 10.1007/978-3-030-24258-9_11
Randy Hickey, F. Bacchus
{"title":"Speeding Up Assumption-Based SAT","authors":"Randy Hickey, F. Bacchus","doi":"10.1007/978-3-030-24258-9_11","DOIUrl":"https://doi.org/10.1007/978-3-030-24258-9_11","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128549761","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}
引用次数: 12
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信