Title: Applying knowledge compilation techniques to model-based reasoning
Subjects: Artificial intelligence