Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs.
Sven BaumerRainer SchulerPublished in: SAT (2003)
Keyphrases
- search space
- search algorithm
- detection algorithm
- dynamic programming
- search strategy
- search mechanism
- solution space
- computational complexity
- segmentation algorithm
- worst case
- learning algorithm
- expectation maximization
- exhaustive search
- randomly generated
- search strategies
- generative model
- search engine
- probabilistic model
- preprocessing
- simulated annealing
- objective function
- uncertain data
- propositional satisfiability
- stochastic local search
- search efficiency
- bayesian networks
- search procedure
- satisfiability problem
- optimal solution
- pairwise
- matching algorithm
- k means
- state space