Satisfiability Modulo Theories: state-of-the-art, contributions, project
Satisfaisabilité Modulo Théories: état de l'art, contributions, projet
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Hdr
Année : 2018
Pascal Fontaine : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-01968404
Soumis le : jeudi 3 janvier 2019-15:38:23
Dernière modification le : lundi 2 décembre 2024-17:46:02
Archivage à long terme le : jeudi 4 avril 2019-13:10:59
Dates et versions
Identifiants
- HAL Id : tel-01968404 , version 1
Citer
Pascal Fontaine. Satisfiability Modulo Theories: state-of-the-art, contributions, project. Logic in Computer Science [cs.LO]. Université de lorraine, 2018. ⟨tel-01968404⟩
215
Consultations
974
Téléchargements