Guided Search and a Faster Deterministic Algorithm for 3-SAT.
Dominik SchederPublished in: LATIN (2008)
Keyphrases
- objective function
- optimization algorithm
- times faster
- experimental evaluation
- k means
- cost function
- computational complexity
- high accuracy
- expectation maximization
- np hard
- dynamic programming
- probabilistic model
- memory efficient
- optimal solution
- detection algorithm
- neural network
- computationally demanding
- segmentation algorithm
- linear programming
- simulated annealing
- state space
- search space