Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.

Cristina Borralleras Salvador Lucas Rafael Navarro-Marset Enric Rodríguez-Carbonell Albert Rubio Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. 294-305 2009 CADE http://dx.doi.org/10.1007/978-3-642-02959-2_23 conf/cade/2009 db/conf/cade/cade2009.html#BorrallerasLNRR09