@inproceedings{SisLab2153,
       booktitle = {The 8th International Joint Conference on Automated Reasoning},
           title = {raSAT: An SMT Solver for Polynomial Constraints},
          author = {Xuan Tung Vu and Van Khanh To and Mizuhito Ogawa},
         address = {New York, NY, USA},
       publisher = {Springer-Verlag New York, Inc.},
            year = {2016},
           pages = {228--237},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2153/}
}