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

Descripció completa

Dades bibliogràfiques
Autors principals: Araujo, R, Bessa, I, Cordeiro, L, Filho, J
Format: Conference item
Publicat: Institute of Electrical and Electronics Engineers 2017