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

08:45-10:15 Session 86K: Workshop Opening and Invited Talk
Location: MB, Hörsaal 4
08:45
Hermann Schichl
Invited Talk (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 90AS
Location: MB, Hörsaal 4
10:45
Long Guo, Said Jabbour, Jerry Lonlac and Lakhdar Sais
A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies (abstract)
11:15
Salvador Abreu, Danny Munera and Daniel Diaz
Towards a Parallel Hierarchical Adaptive Solver Tool (abstract)
11:45
Alejandro Arbelaez, Charlotte Truchet and Philippe Codognet
On the Parallelization of Randomized Propagation-based Constraint Solving (abstract)
12:15
Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan and Luis Quesada
A Constraint-based Parallel Local Search for Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AT: Talk and Panel Discussion
Location: MB, Hörsaal 4
14:30
All Workshop Presenters
General Panel Discussion (abstract)
15:30
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto and Enrico Pontelli
Towards a complete constraint solver on GPU (abstract)
16:00-16:30Coffee Break