Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization.
Assalé AdjéPierre-Loïc GarocheVictor MagronPublished in: CoRR (2015)
Keyphrases
- optimization algorithm
- optimization problems
- global optimization
- discrete optimization
- case study
- optimization strategies
- search algorithm
- constrained optimization
- random variables
- invariant properties
- optimization model
- optimization process
- desirable properties
- combinatorial optimization
- optimization method
- real time
- probability distribution
- multi objective
- lower bound
- bayesian networks
- machine learning