Login / Signup
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