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]
@inproceedings{JiM12, title = {An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints}, author = {Xiaohui Ji and Feifei Ma}, year = {2012}, doi = {10.1109/WETICE.2012.24}, url = {http://doi.ieeecomputersociety.org/10.1109/WETICE.2012.24}, researchr = {https://researchr.org/publication/JiM12}, cites = {0}, citedby = {0}, pages = {324-329}, booktitle = {21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012, Toulouse, France, June 25-27, 2012}, editor = {Sumitra Reddy and Khalil Drira}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-1888-4}, }