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

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

筛选
英文 中文
A Distributed Version of Syrup 糖浆的分布式版本
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_14
Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary
{"title":"A Distributed Version of Syrup","authors":"Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary","doi":"10.1007/978-3-319-66263-3_14","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_14","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"43 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116642537","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
CNFgen: A Generator of Crafted Benchmarks CNFgen:一个精心制作的基准生成器
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_30
Massimo Lauria, J. Elffers, Jakob Nordström, Marc Vinyals
{"title":"CNFgen: A Generator of Crafted Benchmarks","authors":"Massimo Lauria, J. Elffers, Jakob Nordström, Marc Vinyals","doi":"10.1007/978-3-319-66263-3_30","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_30","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128734613","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}
引用次数: 41
Coverage-Based Clause Reduction Heuristics for CDCL Solvers CDCL求解器的基于覆盖率的子句缩减启发式算法
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_9
H. Nabeshima, Katsumi Inoue
{"title":"Coverage-Based Clause Reduction Heuristics for CDCL Solvers","authors":"H. Nabeshima, Katsumi Inoue","doi":"10.1007/978-3-319-66263-3_9","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_9","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123204460","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
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers 基于传播速率的分治算法
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_16
Saeed Nejati, Zack Newsham, Joseph Scott, J. Liang, C. Gebotys, P. Poupart, Vijay Ganesh
{"title":"A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers","authors":"Saeed Nejati, Zack Newsham, Joseph Scott, J. Liang, C. Gebotys, P. Poupart, Vijay Ganesh","doi":"10.1007/978-3-319-66263-3_16","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_16","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116913489","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
On Simplification of Formulas with Unconstrained Variables and Quantifiers 无约束变量和量词公式的简化
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_23
Martin Jonás, J. Strejček
{"title":"On Simplification of Formulas with Unconstrained Variables and Quantifiers","authors":"Martin Jonás, J. Strejček","doi":"10.1007/978-3-319-66263-3_23","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_23","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130863390","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
The GRAT Tool Chain - Efficient (UN)SAT Certificate Checking with Formal Correctness Guarantees GRAT工具链-具有形式正确性保证的高效(UN)SAT证书检查
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_29
P. Lammich
{"title":"The GRAT Tool Chain - Efficient (UN)SAT Certificate Checking with Formal Correctness Guarantees","authors":"P. Lammich","doi":"10.1007/978-3-319-66263-3_29","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_29","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121528450","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
PaInleSS: A Framework for Parallel SAT Solving 无痛:并行SAT求解的框架
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_15
Ludovic Le Frioux, S. Baarir, Julien Sopena, F. Kordon
{"title":"PaInleSS: A Framework for Parallel SAT Solving","authors":"Ludovic Le Frioux, S. Baarir, Julien Sopena, F. Kordon","doi":"10.1007/978-3-319-66263-3_15","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_15","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128873324","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
A Resolution-Style Proof System for DQBF DQBF的一种分辨率式证明系统
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_20
Markus N. Rabe
{"title":"A Resolution-Style Proof System for DQBF","authors":"Markus N. Rabe","doi":"10.1007/978-3-319-66263-3_20","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_20","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129502677","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
(I Can Get) Satisfaction: Preference-Based Scheduling for Concert-Goers at Multi-venue Music Festivals (我能得到)满意:多场地音乐节中演唱会观众的偏好安排
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_10
Eldan Cohen, Guoyu Huang, J. Christopher Beck
{"title":"(I Can Get) Satisfaction: Preference-Based Scheduling for Concert-Goers at Multi-venue Music Festivals","authors":"Eldan Cohen, Guoyu Huang, J. Christopher Beck","doi":"10.1007/978-3-319-66263-3_10","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_10","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131904968","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
SAT-Based Local Improvement for Finding Tree Decompositions of Small Width 基于sat的寻找小宽度树分解的局部改进
International Conference on Theory and Applications of Satisfiability Testing Pub Date : 2017-08-28 DOI: 10.1007/978-3-319-66263-3_25
J. Fichte, Neha Lodha, Stefan Szeider
{"title":"SAT-Based Local Improvement for Finding Tree Decompositions of Small Width","authors":"J. Fichte, Neha Lodha, Stefan Szeider","doi":"10.1007/978-3-319-66263-3_25","DOIUrl":"https://doi.org/10.1007/978-3-319-66263-3_25","url":null,"abstract":"","PeriodicalId":446175,"journal":{"name":"International Conference on Theory and Applications of Satisfiability Testing","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133982377","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}
引用次数: 23
首页 上一页 下一页 尾页
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学术官方微信