VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program