Knowledge Tree

researcher / Gilles Audemard

Gilles Audemard

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Résolution du problème SAT et génération de modèles finis en logique du premier ordre

Directed Thesis:

SAT en Parallèle

Graphes et contraintes

Solving the Boolean satisfiability problem using the parallel paradigm

Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes