Handbook of Parallel Constraint Reasoning

Part I, Theory and Algorithms.- Parallel Satisfiability.- Cube-and-Conquer for Satisfiability.- Parallel Maximum Satisfiability.- Parallel Solving of Quantified Boolean Formulas.- Parallel Satisfiability Modulo Theories.- Parallel Theorem Proving.- Parallel Answer Set Programming.- Parallel Solvers for Mixed Integer Linear Optimization.- Parallel Constraint Programming.- Parallel Local Search.- Parallel A* for State-Space Search.- Parallel Model Checking Algorithms for Linear-Time Temporal Logic.- Multi-core Decision Diagrams.- Parallel Model-Based Diagnosis.- Part II, Tools and Applications.- Selection and Configuration of Parallel Portfolios.- An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.- Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks.