Christophe Paul
Mots clés
FR |
EN
Algorithmes
Théorie des graphes
Complexité paramétrée
Règles existentielles
Bases de données -- Interrogation
Optimisation combinatoire
Complexité de calcul (informatique)
Intelligence artificielle
Représentation des connaissances et raisonnement
Datalog+/-
Requêtes conjonctives
Algorithmes parallèles
Hypergraphes
Structures de données (informatique)
Complexité
Noyaux
Édition de graphes
Édition de contraintes
Branches
Conflict packing