Speeding up SMT Solving via Compiler Optimization.
Benjamin MikekQirun ZhangPublished in: ESEC/SIGSOFT FSE (2023)
Keyphrases
- combinatorial optimization
- discrete optimization
- global optimization
- nonlinear programming
- optimization problems
- quadratic programming
- programming language
- optimization process
- global optimization problems
- data sets
- optimization model
- statistical machine translation
- optimization method
- general purpose
- constrained optimization
- optimization methods
- lagrange multipliers
- convex optimization