Improving a probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs
Sven BaumerRainer SchulerPublished in: Electron. Colloquium Comput. Complex. (2003)
Keyphrases
- search space
- detection algorithm
- expectation maximization
- dynamic programming
- search strategy
- np hard
- preprocessing
- similarity measure
- simulated annealing
- search algorithm
- objective function
- learning algorithm
- computational complexity
- data structure
- search efficiency
- search procedure
- solution space
- search mechanism
- exhaustive search
- randomly generated
- search strategies
- constraint satisfaction
- bayesian networks
- segmentation algorithm
- generative model
- probabilistic model