↓ Skip to main content
What is this page? Embed badge

Handbook of Parallel Constraint Reasoning

Overview of attention for book
Cover of 'Handbook of Parallel Constraint Reasoning'

Table of Contents

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

Citations

dimensions_citation
16 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
So far, Dimensions has found 16 publications that cite this research output.

16

The most recent citing publications are shown below. View all 16 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.