SMT-based Verification Applied to Non-convex Optimization Problems

Rodrigo Araujo, Iury Bessa, Lucas C. Cordeiro, Joao Edgar Chaves Filho

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-8
Journal	Brazilian Symposium on Computing System Engineering : proceedings
DOIs	https://doi.org/10.1109/SBESC.2016.14
Publication status	Published - 2016

Keywords

@article{b8e689dc300a4bb59a47f874a634492c,

title = "SMT-based Verification Applied to Non-convex Optimization Problems",

keywords = "satisfiability modulo theory (SMT), model checking, optimization, global minima, non-convex problems",

author = "Rodrigo Araujo and Iury Bessa and Cordeiro, {Lucas C.} and {Chaves Filho}, {Joao Edgar}",

year = "2016",

doi = "10.1109/SBESC.2016.14",

language = "English",

pages = "1--8",

journal = "Brazilian Symposium on Computing System Engineering : proceedings",

issn = "2324-7886",

publisher = "IEEE",

}

TY - JOUR

T1 - SMT-based Verification Applied to Non-convex Optimization Problems

AU - Araujo, Rodrigo

AU - Bessa, Iury

AU - Cordeiro, Lucas C.

AU - Chaves Filho, Joao Edgar

PY - 2016

Y1 - 2016

KW - satisfiability modulo theory (SMT)

KW - model checking

KW - optimization

KW - global minima

KW - non-convex problems

U2 - 10.1109/SBESC.2016.14

DO - 10.1109/SBESC.2016.14

M3 - Article

SN - 2324-7886

SP - 1

EP - 8

JO - Brazilian Symposium on Computing System Engineering : proceedings

JF - Brazilian Symposium on Computing System Engineering : proceedings

ER -