<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "raSAT: an SMT solver for polynomial constraints"^^ . "This paper presents raSAT SMT solver, which is aimed to handle polynomial constraints over both reals and integers with simple unified methodologies. Its three main features are (1) a raSAT loop for inequalities, which adds testing to interval constraint propagation to accelerate SAT detection, (2) a non-constructive reasoning for equations over reals based on the generalized intermediate value theorem, and (3) soundness of floating-point arithmetic that is guaranteed by (a) rounding up/down over-approximations of intervals, and (b) confirmation of a satisfying instance detected by testing using the iRRAM package, which guarantees error bounds."^^ . "2017-06-27" . . "Springer"^^ . . . "Formal Methods in System Design"^^ . . . "15728102" . . . . . . . . . . . . . "Mizuhito"^^ . "Ogawa"^^ . "Mizuhito Ogawa"^^ . . "Vu Xuan"^^ . "Tung"^^ . "Vu Xuan Tung"^^ . . "Van Khanh"^^ . "To"^^ . "Van Khanh To"^^ . . . . . "HTML Summary of #2543 \n\nraSAT: an SMT solver for polynomial constraints\n\n" . "text/html" . . . "Information Technology (IT)"@en . . . "ISI-indexed journals"@en . .