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

Type de document :
HDR
Logic in Computer Science [cs.LO]. Université de lorraine, 2018
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01968404
Contributeur : Pascal Fontaine <>
Soumis le : jeudi 3 janvier 2019 - 15:38:23
Dernière modification le : lundi 7 janvier 2019 - 14:49:45

Fichier

HDR-standalone.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-01968404, version 1

Collections

Citation

Pascal Fontaine. Satisfiability Modulo Theories: state-of-the-art, contributions, project. Logic in Computer Science [cs.LO]. Université de lorraine, 2018. 〈tel-01968404〉

Partager

Métriques

Consultations de la notice

56

Téléchargements de fichiers

28