Iterated Robust Tabu Search for MAX-SAT.
Kevin SmythHolger H. HoosThomas StützlePublished in: Canadian Conference on AI (2003)
Keyphrases
- tabu search
- max sat
- simulated annealing
- metaheuristic
- scheduling problem
- search procedure
- weighted max sat
- memetic algorithm
- path relinking
- feasible solution
- maximum satisfiability
- exact algorithms
- heuristic methods
- initial solution
- lower bound
- search algorithm
- guided local search
- hybrid algorithm
- vehicle routing problem
- job shop scheduling problem
- satisfiability problem
- sat solvers
- genetic algorithm
- quadratic assignment problem
- cnf formula
- branch and bound
- iterated local search
- max sat solver
- scatter search
- variable neighborhood search
- boolean satisfiability
- branch and bound algorithm
- tabu search algorithm
- tabu list
- linear programming
- cost function
- neural network