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...

Полное описание

Библиографические подробности
Главные авторы: Araujo, R, Bessa, I, Cordeiro, L, Filho, J
Формат: Conference item
Опубликовано: Institute of Electrical and Electronics Engineers 2017