Handbook of Parallel Constraint Reasoning

Editors and authors world-leading researchers in this domain

Suitable for researchers, practitioners and graduate students engaged with constraint-based reasoning

First part addresses theory and algorithms, second part tools and applications

Editors and authors world-leading researchers in this domain Suitable for researchers, practitioners and graduate students engaged with constraint-based reasoning First part addresses theory and algorithms, second part tools and applications

Zusammenfassung

Editors and authors world-leading researchers in this domain

Suitable for researchers, practitioners and graduate students engaged with constraint-based reasoning

First part addresses theory and algorithms, second part tools and applications

Inhalt
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.