• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model.

Gianluca TortaPietro Torasso
Published in: SGAI Conf. (2005)
Keyphrases
  • model based diagnosis
  • search algorithm
  • expert systems
  • model based reasoning
  • fault localization