Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic

Lucas Alba Salvador, Navarro Marset Rafael Andrés

2009

Lecture Notes in Computer Science