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

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

筛选
英文 中文
Speeding up the Constraint-Based Method in Difference Logic 差分逻辑中基于约束方法的加速
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_18
Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-carbonell, A. Rubio
{"title":"Speeding up the Constraint-Based Method in Difference Logic","authors":"Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-carbonell, A. Rubio","doi":"10.1007/978-3-319-40970-2_18","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_18","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130051333","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
Extreme Cases in SAT Problems SAT问题中的极端案例
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_7
Gilles Audemard, Laurent Simon
{"title":"Extreme Cases in SAT Problems","authors":"Gilles Audemard, Laurent Simon","doi":"10.1007/978-3-319-40970-2_7","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_7","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":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131128941","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}
引用次数: 9
Dependency Schemes for DQBF DQBF的依赖方案
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_29
Ralf Wimmer, Christopher H. Scholl, K. Wimmer, B. Becker
{"title":"Dependency Schemes for DQBF","authors":"Ralf Wimmer, Christopher H. Scholl, K. Wimmer, B. Becker","doi":"10.1007/978-3-319-40970-2_29","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_29","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134474126","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
2QBF: Challenges and Solutions 2QBF:挑战和解决方案
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_28
Valeriy Balabanov, J. H. Jiang, Christoph Scholl, A. Mishchenko, R. Brayton
{"title":"2QBF: Challenges and Solutions","authors":"Valeriy Balabanov, J. H. Jiang, Christoph Scholl, A. Mishchenko, R. Brayton","doi":"10.1007/978-3-319-40970-2_28","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_28","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115675170","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}
引用次数: 9
LMHS: A SAT-IP Hybrid MaxSAT Solver 一种SAT-IP混合MaxSAT求解器
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_34
Paul Saikko, J. Berg, M. Järvisalo
{"title":"LMHS: A SAT-IP Hybrid MaxSAT Solver","authors":"Paul Saikko, J. Berg, M. Järvisalo","doi":"10.1007/978-3-319-40970-2_34","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_34","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114176400","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}
引用次数: 69
Tight Upper Bound on Splitting by Linear Combinations for Pigeonhole Principle 鸽洞原理下线性组合分裂的紧上界
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_6
V. Oparin
{"title":"Tight Upper Bound on Splitting by Linear Combinations for Pigeonhole Principle","authors":"V. Oparin","doi":"10.1007/978-3-319-40970-2_6","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_6","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127148668","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
The Normalized Autocorrelation Length of Random Max r -Sat Converges in Probability to (1-1/2^r)/r 随机Max -Sat归一化自相关长度在概率上收敛于(1-1/2^r)/r
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_5
D. Berend, Yochai Twitto
{"title":"The Normalized Autocorrelation Length of Random Max r -Sat Converges in Probability to (1-1/2^r)/r","authors":"D. Berend, Yochai Twitto","doi":"10.1007/978-3-319-40970-2_5","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_5","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"299302 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132266522","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
Improved Static Symmetry Breaking for SAT 改进了SAT的静态对称性破坏
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_8
Jo Devriendt, B. Bogaerts, M. Bruynooghe, M. Denecker
{"title":"Improved Static Symmetry Breaking for SAT","authors":"Jo Devriendt, B. Bogaerts, M. Bruynooghe, M. Denecker","doi":"10.1007/978-3-319-40970-2_8","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_8","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"571 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134209704","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}
引用次数: 52
BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies BEACON:一个高效的基于sat的EL +本体调试工具
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_32
M. F. Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, R. Peñaloza, Joao Marques-Silva
{"title":"BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies","authors":"M. F. Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, R. Peñaloza, Joao Marques-Silva","doi":"10.1007/978-3-319-40970-2_32","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_32","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130222355","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
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers 位向量求解器中特定领域CNF编码器的合成
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2016-07-05 DOI: 10.1007/978-3-319-40970-2_19
J. Inala, Rohit Singh, Armando Solar-Lezama
{"title":"Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers","authors":"J. Inala, Rohit Singh, Armando Solar-Lezama","doi":"10.1007/978-3-319-40970-2_19","DOIUrl":"https://doi.org/10.1007/978-3-319-40970-2_19","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121412153","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学术官方微信