BAARIR Souheib
Contributions to propositional satisfiability solving and its applications to the analysis of systems.
Difesa : 06/19/2019
Membri della commissione :
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) {Examinatrice}
M. Fabrice Kordon, Prof. (Sorbonne Université, Paris, France) {Examinateur}
M. Philippe Quéinnec, Prof. (Toulouse INP, Toulouse, France) {Examinateur}
M. Laurent Simon, Prof. (Bordeaux INP, Bordeaux, France) {Examinateur}
3 Studenti di dottorato (Relatore / Co-relazione)
- KHEIREDDINE Anissa : Parallélisation et optimisation du Bounded model-checking
- SAOULI Sabrine : Exploitation des symétries locales pour les résolutions des problèmes SAT
- XU Hao : Hybridation de méthode de compilation de contraintes, Solveurs SAT, méthodes d'apprentissage pour maîtriser la complexité de la gamme Renault