An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints.

Xiaohui Ji, Feifei Ma

Browse the full WETICE paper archive.