Hyper-Reactive Tabu Search for MaxSAT.
Carlos AnsóteguiBritta HeymannJosep PonMeinolf SellmannKevin TierneyPublished in: LION (2018)
Keyphrases
- tabu search
- metaheuristic
- simulated annealing
- combinatorial optimization
- genetic algorithm
- feasible solution
- scheduling problem
- path relinking
- memetic algorithm
- search procedure
- test problems
- vehicle routing problem
- heuristic methods
- upper bound
- quadratic assignment problem
- benchmark instances
- multidimensional knapsack problem
- max sat
- job shop scheduling problem
- iterated local search
- maximum satisfiability
- search algorithm
- hybrid algorithm
- tabu list
- initial solution
- scatter search
- combinatorial problems
- particle swarm optimization
- variable neighborhood search
- tabu search algorithm
- evolutionary algorithm
- multi start
- sat problem
- branch and bound algorithm
- orders of magnitude
- multi objective
- job shop
- search space