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

Gianluca Torta, Pietro Torasso

Browse the full SGAI paper archive.