Solving Nonlinear Integer Arithmetic with MCSAT.

Dejan Jovanovic

Published in: VMCAI (2017)

Keyphrases

solving nonlinear
integer arithmetic
artificial bee colony algorithm
augmented lagrangian
nonlinear equations
equality constraints
constrained optimization
euclidean distance transform
convex optimization
hybrid algorithm
multiscale
artificial neural networks
linear programming
decomposition algorithm