Author of the publication

raSAT: An SMT Solver for Polynomial Constraints.

, , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 228-237. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A type system for finding upper resource bounds of multi-threaded programs with nested transactions., , , and . SoICT, page 21-30. ACM, (2012)Subtropical Satisfiability., , , and . FroCoS, volume 10483 of Lecture Notes in Computer Science, page 189-206. Springer, (2017)Semantic Parsing for Vietnamese Question Answering System., , and . KSE, page 332-335. IEEE, (2015)Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT., , , , and . SC-Square@FLOC, volume 2189 of CEUR Workshop Proceedings, page 110. CEUR-WS.org, (2018)raSAT: an SMT solver for polynomial constraints., , and . Formal Methods Syst. Des., 51 (3): 462-499 (2017)raSAT: An SMT Solver for Polynomial Constraints., , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 228-237. Springer, (2016)raSAT: SMT for Polynomial Inequality., , and . SMT, volume 1163 of CEUR Workshop Proceedings, page 67. CEUR-WS.org, (2014)