VSL 2014: VIENNA SUMMER OF LOGIC 2014
PARSEARCHOPT PROGRAM
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-13:00 Session 90AS
Location: MB, Hörsaal 4
10:45
A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies (abstract)
11:15
Towards a Parallel Hierarchical Adaptive Solver Tool (abstract)
11:45
On the Parallelization of Randomized Propagation-based Constraint Solving (abstract)
12:15
A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break