Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva. Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada. pages 305-310, AAAI Press, 2007.
Abstract is missing.