Diagnosability Testing with Satisfiability Algorithms.

Jussi Rintanen Alban Grastien

Published in: IJCAI (2007)

Keyphrases

computational complexity
significant improvement
computational cost
orders of magnitude
learning algorithm
data structure
computationally efficient
benchmark datasets
times faster
recently developed
neural network
lower bound
worst case
data mining algorithms
computational efficiency
stochastic local search