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

Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodrguez-Carbonell, Albert Rubio

Browse the full CADE paper archive.