Handbook of Parallel Constraint Reasoning
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319635156, 9783319635163
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallel Constraint Programming

2018 ◽  
pp. 337-379 ◽  
Author(s):  
Jean-Charles Régin ◽  
Arnaud Malapert
Keyword(s):  
Constraint Programming

Parallel Answer Set Programming

2018 ◽  
pp. 237-282 ◽  
Author(s):  
Agostino Dovier ◽  
Andrea Formisano ◽  
Enrico Pontelli
Keyword(s):  
Answer Set Programming ◽  
Answer Set

scholarly journals Multi-core Decision Diagrams

2018 ◽  
pp. 509-545
Author(s):  
Tom van Dijk ◽  
Jaco van de Pol
Keyword(s):  
Decision Diagrams

Parallel Satisfiability

2018 ◽  
pp. 3-29 ◽  
Author(s):  
Tomáš Balyo ◽  
Carsten Sinz

Parallel Model-Based Diagnosis

2018 ◽  
pp. 547-580
Author(s):  
Kostyantyn Shchekotykhin ◽  
Dietmar Jannach ◽  
Thomas Schmitz
Keyword(s):  
Parallel Model ◽  
Model Based

scholarly journals Parallel Model Checking Algorithms for Linear-Time Temporal Logic

2018 ◽  
pp. 457-507 ◽  
Author(s):  
Jiri Barnat ◽  
Vincent Bloemen ◽  
Alexandre Duret-Lutz ◽  
Alfons Laarman ◽  
Laure Petrucci ◽  
...  
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Linear Time ◽  
Parallel Model ◽  
Linear Time Temporal Logic

Selection and Configuration of Parallel Portfolios

2018 ◽  
pp. 583-615 ◽  
Author(s):  
Marius Lindauer ◽  
Holger Hoos ◽  
Frank Hutter ◽  
Kevin Leyton-Brown

Parallel A* for State-Space Search

2018 ◽  
pp. 419-455 ◽  
Author(s):  
Alex Fukunaga ◽  
Adi Botea ◽  
Yuu Jinnai ◽  
Akihiro Kishimoto
Keyword(s):  
State Space ◽  
State Space Search

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems

2018 ◽  
pp. 617-632
Author(s):  
Orlando Ferrante ◽  
Alberto Ferrari ◽  
Christos Sofronis ◽  
Leonardo Mangeruca ◽  
Luca Benvenuti
Keyword(s):  
Embedded Systems ◽  
Satisfiability Solving
Load More ...
Sign in / Sign up

Export Citation Format

Share Document