Theory and Applications of Satisfiability Testing – SAT 2021

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 2 PyDGGA: Distributed GGA for Automatic Configuration
3. Altmetric Badge
   Chapter 4 Davis and Putnam Meet Henkin: Solving DQBF with Resolution
4. Altmetric Badge
   Chapter 7 Hash-Based Preprocessing and Inprocessing Techniques in SAT Solvers
5. Altmetric Badge
   Chapter 8 Hardness and Optimality in QBF Proof Systems Modulo NP
6. Altmetric Badge
   Chapter 11 ProCount: Weighted Projected Model Counting with Graded Project-Join Trees
7. Altmetric Badge
   Chapter 14 MCP: Capturing Big Data by Satisfiability (Tool Description)
8. Altmetric Badge
   Chapter 16 Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
9. Altmetric Badge
   Chapter 18 SAT-Based Rigorous Explanations for Decision Lists
10. Altmetric Badge
    Chapter 20 Assessing Progress in SAT Solvers Through the Lens of Incremental SAT
11. Altmetric Badge
    Chapter 28 Proof Complexity of Symbolic QBF Reasoning
12. Altmetric Badge
    Chapter 29 XOR Local Search for Boolean Brent Equations
13. Altmetric Badge
    Chapter 31 MedleySolver: Online SMT Algorithm Selection
14. Altmetric Badge
    Chapter 33 A Proof Builder for Max-SAT
15. Altmetric Badge
    Chapter 34 Certified DQBF Solving by Definition Extraction
16. Altmetric Badge
    Chapter 35 Scalable SAT Solving in the Cloud