Accéder au guichet d’assistance de l'Abes
Accéder à la documentation de theses.fr
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Yaël
Haddad
IdRef
Mots clés
FR
Systèmes insatisfaisables minimaux [SMI]
Diagrammes de décision binaires ordonnés [DDBO]
Diagramme de décision booléen
SMI de taille maximale
SMI, déficit
Satisfaisabilité
Complexité
Théorie des machines séquentielles
Fonctions booléennes
Auteur / Autrice de 1 thèse(s)