Introduction to the OBDD Algorithm for the ATP Community.
J. Strother MoorePublished in: J. Autom. Reason. (1994)
Keyphrases
- optimization algorithm
- detection algorithm
- dynamic programming
- learning algorithm
- high accuracy
- times faster
- experimental evaluation
- tree structure
- np hard
- search space
- preprocessing
- recognition algorithm
- bayesian networks
- matching algorithm
- convergence rate
- theoretical analysis
- expectation maximization
- worst case
- probabilistic model
- significant improvement
- k means
- computational complexity
- input data
- simulated annealing
- computationally efficient
- cost function
- classification algorithm
- optimal solution
- objective function
- randomly generated