Adaptive memory-based local search for MAX-SAT.
Zhipeng LüJin-Kao HaoPublished in: Appl. Soft Comput. (2012)
Keyphrases
- max sat
- tabu search
- search algorithm
- stochastic local search
- sat solvers
- random sat instances
- weighted max sat
- guided local search
- lower bound
- branch and bound
- propositional satisfiability
- satisfiability problem
- branch and bound algorithm
- search procedure
- sat problem
- maximum satisfiability
- search space
- genetic algorithm
- simulated annealing
- combinatorial optimization
- constraint satisfaction
- orders of magnitude
- scheduling problem
- optimal solution
- boolean satisfiability