Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.

Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva

Browse the full AAAI paper archive.