Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.
Christoph JabsJeremias BergHannes IhalainenMatti JärvisaloPublished in: CP (2023)
Keyphrases
- combinatorial optimization
- multi objective
- preprocessing
- evolutionary algorithm
- simulated annealing
- optimization problems
- multi objective optimization
- optimization algorithm
- metaheuristic
- objective function
- combinatorial optimization problems
- answer set programming
- traveling salesman problem
- multiobjective optimization
- multiple objectives
- mathematical programming
- genetic algorithm
- particle swarm optimization
- bounded model checking
- combinatorial problems
- branch and bound algorithm
- hard combinatorial optimization problems
- branch and bound
- nsga ii
- ai planning
- sat solvers
- sat encodings
- particle swarm
- vehicle routing problem
- feature extraction
- multi objective optimization problems
- combinatorial search
- quadratic assignment problem
- version space
- planning problems
- single machine scheduling problem
- estimation of distribution algorithms
- constraint solver
- evolutionary computation
- constraint programming
- neural network