PARSEARCHOPT 2014 WORKSHOP PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A C D F G J L M O P Q S T

A
Abreu, Salvador	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)
Arbelaez, Alejandro	A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem (PDF, talk) On the Parallelization of Randomized Propagation-based Constraint Solving (PDF, talk)
C
Campeotto, Federico	Towards a complete constraint solver on GPU (PDF, talk)
Codognet, Philippe	On the Parallelization of Randomized Propagation-based Constraint Solving (PDF, talk)
D
Dal Palù, Alessandro	Towards a complete constraint solver on GPU (PDF, talk)
Diaz, Daniel	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)
Dovier, Agostino	Towards a complete constraint solver on GPU (PDF, talk)
F
Fioretto, Ferdinando	Towards a complete constraint solver on GPU (PDF, talk)
G
Guo, Long	A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies (PDF, talk)
J
Jabbour, Said	A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies (PDF, talk)
L
Lonlac, Jerry	A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies (PDF, talk)
M
Mehta, Deepak	A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem (PDF, talk)
Munera, Danny	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)
O
O'Sullivan, Barry	A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem (PDF, talk)
P
Pontelli, Enrico	Towards a complete constraint solver on GPU (PDF, talk)
Q
Quesada, Luis	A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem (PDF, talk)
S
Sais, Lakhdar	A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies (PDF, talk)
T
Truchet, Charlotte	On the Parallelization of Randomized Propagation-based Constraint Solving (PDF, talk)