C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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