VNU-UET Repository

raSAT: An SMT Solver for Polynomial Constraints

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.
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

Actions (login required)

View Item View Item