Le moteur de recherche
des thèses françaises
Nadia Creignou
IdRefMots clés
FR |
EN
Complexité algorithmique
Complexité de calcul (informatique)
Calcul des propositions
Algorithmes
Analyse combinatoire énumérative
Représentation des connaissances
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