SMT-based verification applied to non-convex optimization problems
This paper presents a novel, complete, and flexible optimization algorithm, which relies on recursive executions that re-constrains a model-checking procedure based on Satisfiability Modulo Theories (SMT). This SMT-based optimization technique is able to optimize a wide range of functions, including...
| Autors principals: | , , , |
|---|---|
| Format: | Conference item |
| Publicat: |
Institute of Electrical and Electronics Engineers
2017
|