1 “...This book provides a significant step towards bridging the areas of Boolean satisfiability...”

2 Table of Contents: “...Part I: Preliminaries and Previous Work -- Circuits and Testing -- Boolean Satisfiability -- ATPG...”

3 Table of Contents: “... Model -- Control Dominated Category -- Accelerating Boolean Satisfiability on a Custom IC...”

4 “... Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced Synthesis Techniques...”

5 Table of Contents: “...Preliminaries -- Boolean Satisfiability -- SAT-Based ATPG -- Learning Techniques -- Multiple-Valued...”

6 Table of Contents: “... Literal Elimination -- Clause Weighting Local Search for SAT -- Solving Non-Boolean Satisfiability...”

7 “... such as Boolean Satisfiability (SAT) and Automatic Test Pattern Generation (ATPG) can be applied in the context...”

8 Table of Contents: “... Protocol Analysis -- Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic...”

9 “... for synthesis, optimization, verification, and debugging. Formal methods like Boolean satisfiability...”

10 Table of Contents: “... -- The Connectivity of Boolean Satisfiability -- Randomized communication complexity of approximating Kolmogorov...”

11 Table of Contents: “... Propagation Methods for Boolean Satisfiability -- Session 8. QBF -- Minimal False Quantified Boolean Formulas...”

12 Table of Contents: “... Problems Involving Arithmetic -- Resolution for Stochastic Boolean Satisfiability -- Symbolic Automata...”

13 Table of Contents: “... -- Development of Predictive TFRC with Neural Network -- Planning of Parallel Abstract Programs as Boolean...”

14 Table of Contents: “... Scheduling Using Boolean Satisfiability Modulo Simulations -- SMT Sampling via Model-Guided Approximation...”

15 Table of Contents: “... Formulation Of BooleanSatisfiability Problem -- 23 Optimization Of Path For Water Transmission...”

16 Table of Contents: “... Certification — System Description — -- CADE-CAV Invited Talk -- The Quest for Efficient Boolean Satisfiability...”

17 Table of Contents: “... -- The (parallel) approximability of non-boolean satisfiability problems and restricted integer programming...”

18 Table of Contents: “... Synthesis Using Quantified Boolean Satisfiability -- On Applying Cutting Planes in DLL-Based Algorithms...”

19 Table of Contents: “... Kolmogorov Complexity with Applications to Dimension Zero-One Laws -- The Connectivity of Boolean...”

20 Table of Contents: “...Invited Talks -- Software Analysis and Model Checking -- The Quest for Efficient Boolean...”