De la Satisfaisabilité à la Compilation de Bases de Connaissances Propositionnelles
- Doctorant:
- Bertrand Mazure
- Directeur de thèse :
- Éric Grégoire
- Co-encadrant de thèse :
- Lakhdar Saïs
- Thèse soutenue le :
- 18 janv. 1999
Membres du jury :
- J. Chabrier (rapporteur)
- G. Goncalves
- É. Grégoire (directeur de thèse)
- P. Marquis (président)
- L. Saïs
- P. Siegel (rapporteur)