Handbook of Parallel Constraint Reasoning
This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2018, 2018
|
| Edition: | 1st ed. 2018 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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