PARSEARCHOPT 2014 WORKSHOP PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: B C G H I L M O P R

B
Backtracking Search	On the Parallelization of Randomized Propagation-based Constraint Solving (PDF, talk)
C
Clause Learning	A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies (PDF, talk)
Constraint Programming	On the Parallelization of Randomized Propagation-based Constraint Solving (PDF, talk) Towards a complete constraint solver on GPU (PDF, talk)
Constraint Propagation	Towards a complete constraint solver on GPU (PDF, talk)
G
GPGPUs	Towards a complete constraint solver on GPU (PDF, talk)
H
HPC	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)
I
Infiniband	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)
L
Large Neighbourhood Search	Towards a complete constraint solver on GPU (PDF, talk)
Local Search	A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem (PDF, talk) Towards a complete constraint solver on GPU (PDF, talk)
M
Manycore	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)
Multicore	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)
O
Optimal Networks	A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem (PDF, talk)
P
Parallel Local Search	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)
Parallel Solving	A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies (PDF, talk)
Parallelism	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)
PGAS	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)
Propositional Satisfiability	A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies (PDF, talk)
R
Randomized Search	On the Parallelization of Randomized Propagation-based Constraint Solving (PDF, talk)
RDMA	Towards a Parallel Hierarchical Adaptive Solver Tool (PDF, talk)