Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search.
Shaowei CaiXindi ZhangPublished in: CP (2020)
Keyphrases
- combinatorial optimization
- combinatorial optimization problems
- traveling salesman problem
- metaheuristic
- simulated annealing
- branch and bound algorithm
- branch and bound
- mathematical programming
- memetic algorithm
- combinatorial problems
- optimization problems
- hard combinatorial optimization problems
- single machine scheduling problem
- quadratic assignment problem
- cost function
- multiscale
- graph theory
- constraint programming
- neural network