Cooperative Parallel SAT Local Search with Path Relinking.
Padraigh JarvisAlejandro ArbelaezPublished in: EvoCOP (2020)
Keyphrases
- path relinking
- tabu search
- cooperative
- search procedure
- satisfiability testing
- multi start
- neighborhood search
- search algorithm
- metaheuristic
- scatter search
- max sat
- combinatorial optimization
- simulated annealing
- greedy randomized adaptive search procedure
- variable neighborhood descent
- search procedures
- memetic algorithm
- stochastic local search
- traveling salesman problem
- genetic algorithm
- max min
- nature inspired
- scheduling problem
- job shop scheduling problem
- solution quality
- feasible solution
- propositional satisfiability
- search space
- search strategies
- grasp with path relinking
- satisfiability problem
- sat solvers
- global optimization
- branch and bound
- constraint programming
- heuristic search
- optimization problems
- optimal solution
- min max
- test problems
- mathematical programming
- phase transition
- benchmark problems
- variable neighborhood search
- branch and bound algorithm