relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2153/
title: raSAT: An SMT Solver for Polynomial Constraints
creator: Vu, Xuan Tung
creator: To, Van Khanh
creator: Ogawa, Mizuhito
subject: Information Technology (IT)
publisher: Springer-Verlag New York, Inc.
date: 2016
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Vu, Xuan Tung and To, Van Khanh and Ogawa, Mizuhito  (2016) raSAT: An SMT Solver for Polynomial Constraints.  In: The 8th International Joint Conference on Automated Reasoning, 2016.     
relation: http://dx.doi.org/10.1007/978-3-319-40229-1_16