SAT-boosted Tabu Search for Coloring Massive Graphs.
André SchidlerStefan SzeiderPublished in: ACM J. Exp. Algorithmics (2023)
Keyphrases
- tabu search
- massive graphs
- max sat
- search algorithms for solving
- search algorithm
- social networks
- metaheuristic
- simulated annealing
- main memory
- benchmark instances
- satisfiability problem
- graph databases
- path relinking
- community detection
- scheduling problem
- memetic algorithm
- reachability queries
- sat solvers
- search procedure
- heuristic methods
- vehicle routing problem
- stochastic local search
- initial solution
- genetic algorithm
- job shop scheduling problem
- exact algorithms
- sat problem
- social network analysis
- tabu search algorithm
- special case
- phase transition
- random walk
- candidate list
- evolutionary algorithm
- particle swarm optimization