A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
OptCE: A Counterexample-Guided Inductive Optimization Solver
[chapter]
2017
Lecture Notes in Computer Science
This paper presents optimization through counterexamples (OptCE), which is a verification tool developed for optimizing target functions. In particular, OptCE employs bounded model checking techniques based on boolean satisfiability and satisfiability modulo theories, which are able to obtain global minima of convex and non-convex functions. OptCE is implemented in C/C++, performs all optimization steps automatically, and iteratively analyzes counterexamples, in order to inductively achieve
doi:10.1007/978-3-319-70848-5_9
fatcat:sedr7oktbja5dm7kyibq32krqu