Counterexample guided inductive optimization based on satisfiability modulo theories
Under an Elsevier user license
open archive
Keywords
Satisfiability Modulo Theories (SMT)
Model checking
Global optimization
Non-convex optimization
Cited by (0)
© 2017 Elsevier B.V.