TY  - THES
DP  - http://www.theses.fr/2019SACLY007
TI  - [ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace
AU  - Coquereau, Albin
A3  - Mauny, Michel; Conchon, Sylvain
PY  - 2019
N1  - Thèse de doctorat Informatique Université Paris-Saclay (ComUE) 2019
N1  - 2019SACLY007
UR  - http://www.theses.fr/2019SACLY007/document
ER  -