eprintid: 2153
rev_number: 6
eprint_status: archive
userid: 329
dir: disk0/00/00/21/53
datestamp: 2016-12-06 04:53:01
lastmod: 2016-12-06 04:53:01
status_changed: 2016-12-06 04:53:01
type: conference_item
metadata_visibility: show
creators_name: Vu, Xuan Tung
creators_name: To, Van Khanh
creators_name: Ogawa, Mizuhito
creators_id: khanhtv@vnu.edu.vn
title: raSAT: An SMT Solver for Polynomial Constraints
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2016
date_type: published
publisher: Springer-Verlag New York, Inc.
official_url: http://dx.doi.org/10.1007/978-3-319-40229-1_16
full_text_status: none
pres_type: paper
place_of_pub: New York, NY, USA
pagerange: 228-237
event_title: The 8th International Joint Conference on Automated Reasoning
event_dates: 2016
event_type: conference
refereed: TRUE
citation:   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.