Dynamic theorem proving algorithm for consistency-based diagnosis.

Liming Zhang Hai-Lin Zeng Fang Yang Dantong Ouyang

Published in: Expert Syst. Appl. (2011)

Keyphrases

theorem proving
np hard
learning algorithm
dynamic programming
computational complexity
optimal solution
video sequences
search space
probabilistic model
parallel search