Knowledge Tree

researcher / Étienne Grandjean

Étienne Grandjean

at_id:

orcid_id:

Disciplines:

Applied sciences

Common sciences and techniques

Computer sciences

Edit Merge See Links

Directed Thesis:

Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires

Automates Cellulaires : aspects algorithmiqued des configurations périodiques en toute dimension

Algorithmes et complexité des problèmes d'énumération pour l'évaluation de requêtes logiques

Contribution à la théorie de la complexité algorithmique : problèmes de contraintes, complétude et résultats de classification, complexité structurelle

Problèmes de satisfaction de contraintes : une étude logique et combinatoire

Acquisition de connaissances et raisonnement en logique propositionnelle

Réductions fines entre problèmes NP-complets : linéarité, planarité, parcimonie, et minimalité logique

Generation a delai polynomial pour le probleme sat

Probabilites asymptotiques et pouvoir d'expression des fragments de la logique du second ordre

Caracterisation des problemes np : robustesse et normalisation

Hierarchies de definissabilite logique au second ordre

Temps lineaire et problemes np-complets

Bornes inferieures non triviales pour des problemes naturels np-complets en theorie des graphes et des automates