VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
Shortcuts: ACDFGJLMOPQST
A
Abreu, Salvador
Towards a Parallel Hierarchical Adaptive Solver Tool
All Workshop Presenters,
General Panel Discussion
Arbelaez, Alejandro
On the Parallelization of Randomized Propagation-based Constraint Solving
A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem
C
Campeotto, Federico
Towards a complete constraint solver on GPU
Codognet, Philippe
On the Parallelization of Randomized Propagation-based Constraint Solving
D
Dal Palù, Alessandro
Towards a complete constraint solver on GPU
Diaz, Daniel
Towards a Parallel Hierarchical Adaptive Solver Tool
Dovier, Agostino
Towards a complete constraint solver on GPU
F
Fioretto, Ferdinando
Towards a complete constraint solver on GPU
G
Guo, Long
A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies
J
Jabbour, Said
A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies
L
Lonlac, Jerry
A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies
M
Mehta, Deepak
A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem
Munera, Danny
Towards a Parallel Hierarchical Adaptive Solver Tool
O
O'Sullivan, Barry
A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem
P
Pontelli, Enrico
Towards a complete constraint solver on GPU
Q
Quesada, Luis
A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem
S
Sais, Lakhdar
A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies
Schichl, Hermann
Invited Talk
T
Truchet, Charlotte
On the Parallelization of Randomized Propagation-based Constraint Solving