Handbook of Parallel Constraint Reasoning (eBook, PDF)

Redaktion: Hamadi, Youssef; Sais, Lakhdar

• Format: PDF

Produktbeschreibung

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

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 677
• Erscheinungstermin: 5. April 2018
• Englisch
• ISBN-13: 9783319635163
• Artikelnr.: 52943792

Inhaltsangabe

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.