default search action

combined dblp search
author search
venue search
publication search

ask others

Handbook of Parallel Constraint Reasoning, 2018

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/sp/HS2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/HS2018
Youssef Hamadi, Lakhdar Sais:
Handbook of Parallel Constraint Reasoning. Springer 2018, ISBN 978-3-319-63515-6

Theory and Algorithms

- view
  authority control:
- export record
  dblp key:
  - books/sp/18/BalyoS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/BalyoS18
Tomás Balyo, Carsten Sinz:
Parallel Satisfiability. 3-29
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/HeuleKB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/HeuleKB18
Marijn J. H. Heule, Oliver Kullmann, Armin Biere:
Cube-and-Conquer for Satisfiability. 31-59
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/LynceMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/LynceMM18
Inês Lynce, Vasco Manquinho, Ruben Martins:
Parallel Maximum Satisfiability. 61-99
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/LonsingS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/LonsingS18
Florian Lonsing, Martina Seidl:
Parallel Solving of Quantified Boolean Formulas. 101-139
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/HyvarinenW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/HyvarinenW18
Antti E. J. Hyvärinen, Christoph M. Wintersteiger:
Parallel Satisfiability Modulo Theories. 141-178
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/Bonacina18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/Bonacina18
Maria Paola Bonacina:
Parallel Theorem Proving. 179-235
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/DovierFP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/DovierFP18
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Parallel Answer Set Programming. 237-282
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/RalphsSBK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/RalphsSBK18
Ted K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch:
Parallel Solvers for Mixed Integer Linear Optimization. 283-336
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/ReginM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/ReginM18
Jean-Charles Régin, Arnaud Malapert:
Parallel Constraint Programming. 337-379
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/CodognetMDA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/CodognetMDA18
Philippe Codognet, Danny Munera, Daniel Diaz, Salvador Abreu:
Parallel Local Search. 381-417
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/FukunagaBJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/FukunagaBJK18
Alex Fukunaga, Adi Botea, Yuu Jinnai, Akihiro Kishimoto:
Parallel A* for State-Space Search. 419-455
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/BarnatBDLPPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/BarnatBDLPPR18
Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault:
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. 457-507
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/DijkP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/DijkP18
Tom van Dijk, Jaco van de Pol:
Multi-core Decision Diagrams. 509-545
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/ShchekotykhinJS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/ShchekotykhinJS18
Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz:
Parallel Model-Based Diagnosis. 547-580

Tools and Applications

- view
  authority control:
- export record
  dblp key:
  - books/sp/18/LindauerHHL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/LindauerHHL18
Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown:
Selection and Configuration of Parallel Portfolios. 583-615
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/FerranteFSMB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/FerranteFSMB18
Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti:
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. 617-632
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/ArbelaezMO018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/ArbelaezMO018
Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks. 633-665

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.