Keyphrases
- tabu search
- max sat
- search algorithms for solving
- search algorithm
- simulated annealing
- metaheuristic
- satisfiability problem
- memetic algorithm
- feasible solution
- path relinking
- search procedure
- sat solvers
- benchmark instances
- scheduling problem
- hybrid algorithm
- genetic algorithm
- vehicle routing problem
- scatter search
- initial solution
- search procedures
- test problems
- job shop scheduling problem
- heuristic methods
- sat problem
- quadratic assignment problem
- stochastic local search
- candidate list
- multidimensional knapsack problem
- exact algorithms
- iterated local search
- search strategies
- tabu search algorithm
- neural network
- multi start
- sat instances
- search space
- optimization problems
- orders of magnitude
- optimal solution
- variable neighborhood search
- computational complexity
- job shop
- tabu list
- flowshop
- simulated annealing and tabu search
- phase transition