Résultats 1 à 4

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Toulouse, ISAE (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (3)
  • Réseaux, télécom, système et architecture (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (3)
  • français (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Monniaux David (2)
  • Delmas Rémi (1)
  • Jensen Thomas (1)
  • Moy Matthieu (1)
  • Pagetti Claire (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (2)
  • Informatique, information, généralités (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen
Réseaux, télécom, système et architecture

Soutenue le 19-12-2017
thèse soutenue

...problème de satisfiabilité modulo théorie(SMT), dont les techniques de résolution ont été grandement...

Accéder en ligne

Résultats 1 à 4