Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.

Alban Grastien Anbulagan Jussi Rintanen Elena Kelareva

Published in: AAAI (2007)

Keyphrases

learning algorithm
computational complexity
computational cost
theoretical analysis
recently developed
objective function
data structure
orders of magnitude
real time
data sets
computer vision
knowledge base
face recognition
benchmark datasets