Nadia Creignou
IdRefMots clés
FR |
EN
Complexité algorithmique
Complexité de calcul (informatique)
Calcul des propositions
Analyse combinatoire énumérative
Algorithmes
Complexité
Théorie des graphes
Complexité algébrique
Modèle de Valiant
Machine BSS
Problèmes de satisfaction de contraintes
Arithmétique en virgule flottante
Post
Schaefer
Classification en complexité
Abduction
Argumentation
Énumération
Représentation des croyances en intelligence artificielle
Révision des croyances