VALLADE Vincent

PhD student (Teaching assistant, Sorbonne Université)
Team : MoVe
Arrival date : 10/01/2018
Localisation : Campus Pierre et Marie Curie

Sorbonne Université - LIP6

Tel: +33 1 44 27 51 28, Vincent.Vallade (at) nulllip6.fr

Supervision : Fabrice KORDON
Co-supervision : BAARIR Souheib, SOPENA Julien

Sharing groups for parallel SAT solvers

Many industrial problems can be expressed by SAT instances. Due to a large state space size, parallelisation is necessary for the resolution and made possible by the increasing use of massively parallel, also called many-core machines. The purpose of this thesis is to design new algorithms dedicated to this environment, leading to increasing performances for SAT solvers.