%A Xuan Tung Vu
%A Van Khanh To
%A Mizuhito Ogawa
%T raSAT: An SMT Solver for Polynomial Constraints
%C New York, NY, USA
%D 2016
%I Springer-Verlag New York, Inc.
%P 228-237
%L SisLab2153