iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/fmsd/TungKO17.rdf
Vu Xuan Tung et al.: raSAT: an SMT solver for polynomial constraints. (2017) journals/fmsd/TungKO17 10.1007/S10703-017-0284-9 raSAT: an SMT solver for polynomial constraints. 3 Vu Xuan Tung 1 To Van Khanh 2 Mizuhito Ogawa 3 462-499 Formal Methods Syst. Des. Formal Methods Syst. Des. 51 3 2017 provenance information for RDF data of dblp record 'journals/fmsd/TungKO17' 2020-03-13T10:55:12+0100