algorithm for k-SAT based on local search.
Evgeny DantsinAndreas GoerdtEdward A. HirschRavi KannanJon M. KleinbergChristos H. PapadimitriouPrabhakar RaghavanUwe SchöningPublished in: Theor. Comput. Sci. (2002)
Keyphrases
- learning algorithm
- cost function
- preprocessing
- combinatorial optimization
- optimal solution
- computational cost
- dynamic programming
- genetic algorithm
- global search
- detection algorithm
- simulated annealing
- np hard
- k means
- worst case
- search space
- objective function
- memetic algorithm
- expectation maximization
- convergence rate
- neural network