From Decimation to Local Search and Back: A New Approach to MaxSAT.
Shaowei CaiChuan LuoHaochen ZhangPublished in: IJCAI (2017)
Keyphrases
- combinatorial optimization
- search space
- search algorithm
- memetic algorithm
- sat solvers
- tabu search
- branch and bound algorithm
- global search
- optimal solution
- upper bound
- propositional satisfiability
- traveling salesman problem
- metaheuristic
- genetic algorithm
- simulated annealing
- global optimization
- systematic search
- ant colony optimization
- combinatorial problems
- neighborhood search
- particle swarm optimization algorithm
- orders of magnitude
- optimization problems
- lower bound
- case study