PhD student (Teaching assistant, Sorbonne Université)
Team : MoVe
Arrival date : 10/01/2018
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 231
    4 place Jussieu
    75252 PARIS CEDEX 05

Tel: +33 1 44 27 51 28, Vincent.Vallade (at)
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.

2020 Publications