Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Bertrand Mazure
Bertrand Mazure
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
De la satisfaisabilité à la compilation de bases de connaissances propositionnelles
Directed Thesis:
Algorithmic contributions to qualitative constraint-based spatial and temporal reasoning
Extensions of tractable classes for propositional satisfiability
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes