Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Nadia Creignou

Nadia Creignou

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Temps lineaire et problemes np-complets

Directed Thesis:

Output-sensitive algorithms for enumeration problems in graphs
Changement de croyances dans des fragments de la logique propositionnelle
Classification en complexité de problèmes de raisonnement non-monotone et d' énumération