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

Cristina Borralleras et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics