Satisfiability Modulo Theories: state-of-the-art, contributions, project - Archive ouverte HAL 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

(1, 2, 3)
1
2
3
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⟩
166 View
787 Download

Share

Gmail Facebook Twitter LinkedIn More