Satisfiability Modulo Theories: state-of-the-art, contributions, project - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 2018

Satisfiability Modulo Theories: state-of-the-art, contributions, project

Satisfaisabilité Modulo Théories: état de l'art, contributions, projet

Fichier principal
Vignette du fichier
HDR-standalone.pdf (2.82 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

tel-01968404 , version 1 (03-01-2019)

Identifiers

  • HAL Id : tel-01968404 , version 1

Cite

Pascal Fontaine. Satisfiability Modulo Theories: state-of-the-art, contributions, project. Logic in Computer Science [cs.LO]. Université de lorraine, 2018. ⟨tel-01968404⟩
194 View
910 Download

Share

Gmail Facebook X LinkedIn More