Combining simulated annealing with local search heuristic for MAX-SAT.
Noureddine BouhmalaPublished in: J. Heuristics (2019)
Keyphrases
- tabu search
- max sat
- simulated annealing
- metaheuristic
- weighted max sat
- memetic algorithm
- exact algorithms
- combinatorial optimization
- stochastic local search
- heuristic methods
- search procedure
- hill climbing
- genetic algorithm
- job shop scheduling problem
- random sat instances
- evolutionary algorithm
- branch and bound algorithm
- guided local search
- search algorithm
- maximum satisfiability
- neighborhood search
- vehicle routing problem
- variable ordering
- max sat solver
- boolean satisfiability
- ant colony optimization
- propositional satisfiability
- information retrieval
- unsatisfiable cores
- special case
- scheduling problem
- computational complexity
- search space