VNU-UET Repository

raSAT: An SMT Solver for Polynomial Constraints

Xuan Tung Vu and Van Khanh To and Mizuhito Ogawa (2016) raSAT: An SMT Solver for Polynomial Constraints. In: The 8th International Joint Conference on Automated Reasoning, 2016.

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/978-3-319-40229-1_16


Item Type:Conference or Workshop Item (Paper)
Subjects:Information Technology (IT)
Divisions:Faculty of Information Technology (FIT)
ID Code:2153
Deposited By: Tô V�n Khánh
Deposited On:06 Dec 2016 04:53
Last Modified:06 Dec 2016 04:53

Repository Staff Only: item control page