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.
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) |
| Depositing User: | Khánh Tô Văn |
| Date Deposited: | 06 Dec 2016 04:53 |
| Last Modified: | 06 Dec 2016 04:53 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2153 |
Actions (login required)
 |
View Item |
