Knowledge Tree

researcher / Olivier Fourdrinoy

Olivier Fourdrinoy

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Utilisation de techniques polynomiales pour la résolution pratique d'instances de SAT