Core Boosting in SAT-Based Multi-objective Optimization.
Christoph JabsJeremias BergMatti JärvisaloPublished in: CPAIOR (2) (2024)
Keyphrases
- multi objective optimization
- multi objective
- evolutionary algorithm
- genetic algorithm
- multi objective optimization problems
- differential evolution
- pareto optimal
- multiple objectives
- answer set programming
- nsga ii
- multi objective genetic algorithm
- bi objective
- pareto dominance
- multiobjective optimization
- optimization algorithm
- version space
- pareto optimal solutions
- complex optimization problems
- evolutionary computation
- bounded model checking
- genetic programming
- constraint solver
- crossover and mutation
- multi objective evolutionary algorithms
- neural network
- genetic algorithm ga
- sat solvers
- planning problems