BAARIR Souheib

Contributions to propositional satisfiability solving and its applications to the analysis of systems.

Soutenance : 19/06/2019

Membres du jury :

M. Gilles Audemard, Prof. (Université d’Artois, Arras, France) [Rapporteur]
M. Vijay Ganesh, Prof. (Waterloo University, Waterloo, Canada) [Rapporteur]
M. Dirk Nowotka, Prof. (Kiel University, Kiel, Germany) [Rapporteur]
Mme. Emmanuelle Encrenaz-Tiphene, MCF, HDR (Sorbonne Université, Paris, France)
M. Fabrice Kordon, Prof. (Sorbonne Université, Paris, France)
M. Philippe Quéinnec, Prof. (Toulouse INP, Toulouse, France)
M. Laurent Simon, Prof. (Bordeaux INP, Bordeaux, France)