%0 Conference Paper
%A Vu, Xuan Tung
%A To, Van Khanh
%A Ogawa, Mizuhito
%B The 8th International Joint Conference on Automated Reasoning
%D 2016
%F SisLab:2153
%I Springer-Verlag New York, Inc.
%P 228-237
%T raSAT: An SMT Solver for Polynomial Constraints
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2153/