Spanish
Handbook of Parallel Constraint Reasoning
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Parallel Satisfiability
-
Altmetric BadgeChapter 2 Cube-and-Conquer for Satisfiability
-
Altmetric BadgeChapter 3 Parallel Maximum Satisfiability
-
Altmetric BadgeChapter 4 Parallel Solving of Quantified Boolean Formulas
-
Altmetric BadgeChapter 5 Parallel Satisfiability Modulo Theories
-
Altmetric BadgeChapter 6 Parallel Theorem Proving
-
Altmetric BadgeChapter 7 Parallel Answer Set Programming
-
Altmetric BadgeChapter 8 Parallel Solvers for Mixed Integer Linear Optimization
-
Altmetric BadgeChapter 9 Parallel Constraint Programming
-
Altmetric BadgeChapter 10 Parallel Local Search
-
Altmetric BadgeChapter 11 Parallel A* for State-Space Search
-
Altmetric BadgeChapter 12 Parallel Model Checking Algorithms for Linear-Time Temporal Logic
-
Altmetric BadgeChapter 13 Multi-core Decision Diagrams
-
Altmetric BadgeChapter 14 Parallel Model-Based Diagnosis
-
Altmetric BadgeChapter 15 Selection and Configuration of Parallel Portfolios
-
Altmetric BadgeChapter 16 An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems
-
Altmetric BadgeChapter 17 Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks