Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic | Publicación