Worst-case Time Bounds for MAX-k-SAT with respect to the Number of Variables Using Local Search.
Edward A. HirschPublished in: ICALP Satellite Workshops (2000)
Keyphrases
- worst case
- upper bound
- error bounds
- lower bound
- optimal solution
- search algorithm
- computational complexity
- genetic algorithm
- small number
- combinatorial optimization
- sat solving
- variable ordering
- worst case analysis
- stochastic local search
- search procedure
- constraint satisfaction
- heuristic search
- tabu search
- special case