NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.
Minghao LiuKunhang LvPei HuangRui HanFuqi JiaYu ZhangFeifei MaJian ZhangPublished in: ASE (2023)
Keyphrases
- discrete optimization
- global optimization
- quadratic programming
- combinatorial optimization
- nonlinear programming
- optimization problems
- optimization method
- optimization process
- global optimization problems
- quadratic program
- constrained optimization
- machine learning
- optimization model
- optimization algorithm
- lagrange multipliers
- multi objective
- information retrieval
- database