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...
Главные авторы: | , , , |
---|---|
Формат: | Conference item |
Опубликовано: |
Institute of Electrical and Electronics Engineers
2017
|