Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Nicolas Hermann

Nicolas Hermann

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Toward a complexity classification of CSP through kernel widthVers une caractérisation de la complexité des CSP à travers la largeur des kernels
Sur les problèmes de complexité en déduction automatique : base de Hilbert, modèles uniques et minimaux