Tung, Vu Xuan and To, Van Khanh and Ogawa, Mizuhito  (2017) raSAT: an SMT solver for polynomial constraints.  Formal Methods in System Design .   pp. 1-38.  ISSN 1572-8102