TY  - CONF
CY  - New York, NY, USA
ID  - SisLab2153
UR  - http://dx.doi.org/10.1007/978-3-319-40229-1_16
A1  - Vu, Xuan Tung
A1  - To, Van Khanh
A1  - Ogawa, Mizuhito
Y1  - 2016///
PB  - Springer-Verlag New York, Inc.
TI  - raSAT: An SMT Solver for Polynomial Constraints
SP  - 228
AV  - none
EP  - 237
T2  - The 8th International Joint Conference on Automated Reasoning
ER  -