Login / Signup
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization.
Alessandro Cimatti
Alberto Griggio
Ahmed Irfan
Marco Roveri
Roberto Sebastiani
Published in:
SAT (2018)
Keyphrases
</>
solving nonlinear
integer arithmetic
augmented lagrangian
artificial bee colony algorithm
nonlinear equations
equality constraints
euclidean distance transform
constrained optimization
mixed integer
convex optimization
linear programming problems
object recognition
graph cuts