Xiaohui Ji, Feifei Ma. An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints. In Sumitra Reddy, Khalil Drira, editors, 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012, Toulouse, France, June 25-27, 2012. pages 324-329, IEEE Computer Society, 2012. [doi]
Abstract is missing.