CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.
Kerian ThuillierAnne SiegelLoïc PaulevéPublished in: AAAI (2024)
Keyphrases
- combinatorial optimization
- combinatorial optimization problems
- optimization problems
- combinatorial problems
- branch and bound
- metaheuristic
- traveling salesman problem
- mathematical programming
- simulated annealing
- branch and bound algorithm
- hard combinatorial optimization problems
- quadratic assignment problem
- solving problems
- combinatorial search
- genetic algorithm
- path relinking
- evolutionary algorithm
- submodular functions
- convex quadratic programming
- discrete optimization
- single machine scheduling problem
- quadratic programming
- memetic algorithm
- vehicle routing problem