VALLADE Vincent

PhD student (Teaching assistant, Sorbonne Université)
Team : MoVe
Arrival date : 10/01/2018
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 231
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
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.
 Mentions légales
Site map |