PARSEARCHOPT 2014 WORKSHOP PROCEEDINGS

Editor: Philippe Codognet

Authors	Title	Paper	Talk
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		Jul 18 12:15
Alejandro Arbelaez, Charlotte Truchet and Philippe Codognet	On the Parallelization of Randomized Propagation-based Constraint Solving		Jul 18 11:45
Salvador Abreu, Danny Munera and Daniel Diaz	Towards a Parallel Hierarchical Adaptive Solver Tool		Jul 18 11:15
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto and Enrico Pontelli	Towards a complete constraint solver on GPU		Jul 18 15:30
Long Guo, Said Jabbour, Jerry Lonlac and Lakhdar Sais	A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies		Jul 18 10:45