<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "raSAT: An SMT Solver for Polynomial Constraints"^^ . "2016" . . "Springer-Verlag New York, Inc."^^ . . . . . . . . . . . . . . "Mizuhito"^^ . "Ogawa"^^ . "Mizuhito Ogawa"^^ . . "Xuan Tung"^^ . "Vu"^^ . "Xuan Tung Vu"^^ . . "Van Khanh"^^ . "To"^^ . "Van Khanh To"^^ . . . . "The 8th International Joint Conference on Automated Reasoning"^^ . . . . . "HTML Summary of #2153 \n\nraSAT: An SMT Solver for Polynomial Constraints\n\n" . "text/html" . . . "Information Technology (IT)"@en . .