A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain.
Yang GaoMartin FränzlePublished in: QEST (2015)
Keyphrases
- continuous domains
- evolutionary computation
- reinforcement learning
- higher dimensional
- genetic algorithm
- evolution strategy
- satisfiability modulo theories
- conditional independence
- modulo theories
- bayesian networks
- objective function
- multi objective
- fuzzy logic
- orders of magnitude
- supervised classification
- solving problems