Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.

Alban Grastien Anbulagan Jussi Rintanen Elena Kelareva Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. 305-310 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#GrastienARK07