Theory and Applications of Satisfiability Testing – SAT 2020
23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Editors: Pulina, Luca, Seidl, Martina (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually.
The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.
- Table of contents (36 chapters)
-
-
Sorting Parity Encodings by Reusing Variables
Pages 1-10
-
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving
Pages 11-27
-
Clause Size Reduction with all-UIP Learning
Pages 28-45
-
Trail Saving on Backtrack
Pages 46-61
-
Four Flavors of Entailment
Pages 62-71
-
Table of contents (36 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Theory and Applications of Satisfiability Testing – SAT 2020
- Book Subtitle
- 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
- Editors
-
- Luca Pulina
- Martina Seidl
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 12178
- Copyright
- 2020
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-51825-7
- DOI
- 10.1007/978-3-030-51825-7
- Softcover ISBN
- 978-3-030-51824-0
- Edition Number
- 1
- Number of Pages
- XI, 538
- Number of Illustrations
- 201 b/w illustrations, 70 illustrations in colour
- Topics