Le moteur de recherche
des thèses françaises
Mohamed Iguernelala
IdRefMots clés
FR |
EN
Théorèmes -- Démonstration automatique
Réécriture, Systèmes de (informatique)
Satisfiabilité Modulo Théories
Démonstrateurs SMT
Procédures de décision
Combinaison de procédures de décision
Shostak
Associativité et commutativité
Réécriture
Complétion AC
Arithmétique linéaire sur les entiers
Simplexe
Fourier-Motzkin
Satisfiability Modulo Theories (SMT)
Superposition
Méthode des tableaux
Preuve formelle
Unification
Logique du premier ordre