Combining Constraint Solving and Bayesian Techniques for System Optimization.
Franz BraußeZurab KhasidashviliKonstantin KorovinPublished in: IJCAI (2022)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint solver
- constraint satisfaction
- constraint satisfaction problems
- optimization algorithm
- constraint solvers
- constraint programming
- knowledge base
- bayesian networks
- posterior probability
- optimization problems
- simulated annealing
- evolutionary algorithm
- data structure
- finite domain
- efficient optimization