Crossmark

raSAT: an SMT solver for polynomial constraints

Crossref DOI link: https://doi.org/10.1007/s10703-017-0284-9

Published Online: 2017-06-27

Published Print: 2017-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Tung, Vu Xuan https://orcid.org/0000-0002-2239-6574
Van Khanh, To

Ogawa, Mizuhito
Funding

Funding for this research was provided by:

Japan Society for the Promotion of Science (23300005)

Japan Society for the Promotion of Science (15H02684)
License Information

Text and Data Mining valid from 2017-06-27

Version of Record valid from 2017-06-27
More Information

Article History

First Online: 27 June 2017