A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers.
Saeed NejatiZack NewshamJoseph ScottJia Hui LiangCatherine H. GebotysPascal PoupartVijay GaneshPublished in: SAT (2017)
Keyphrases
- search algorithm
- backtracking search
- optimal solution
- dynamic programming
- growth rate
- search heuristics
- wave propagation
- sat solvers
- neural network
- search strategies
- mixed integer linear
- heuristic solution
- greedy heuristic
- exact algorithms
- packing problem
- branch and bound
- combinatorial optimization
- tabu search
- simulated annealing
- objective function
- genetic algorithm