Pascal, Fontain and Mizuhito, Ogawa and Thomas, Sturm and To, Van Khanh and Vu, Xuan Tung (2018) EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. In: Satisfiability Checking and Symbolic Computation, 11 July 2018, United Kingdom.