Handbook of Parallel Constraint Reasoning

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hamadi, Youssef (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sais, Lakhdar (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: Artificial intelligence.; Computers.; Operations research.; Decision making.; Mathematical optimization.; Artificial Intelligence.; Theory of Computation.; Operations Research/Decision Theory.; Optimization.

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

Πίνακας περιεχομένων:

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