Nadia Creignou
Mots clés
FR |
EN
Complexité algorithmique
Complexité de calcul (informatique)
Calcul des propositions
Analyse combinatoire énumérative
Représentation des connaissances
Algorithmes
Programmation par contraintes
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