[PhD offer] Automated reasoning: the best of two worlds

See the pdf for a full description of the subject : Superposition-SMT

Logo du CNRS

Logo d'Inria

Logo Université de Lorraine