This paper presents an efficient method to solve Boolean combinations of nonlinear numerical constraints. Under the lazy SMT framework, this method combines an iterative optimization method and ...