Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, To Van Khanh, Xuan-Tung Vu. Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. In Anna Maria Bigatti, Martin Brain, editors, Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018. Volume 2189 of CEUR Workshop Proceedings, pages 110, CEUR-WS.org, 2018. [doi]
Abstract is missing.