SAT Modulo Linear Arithmetic for Solving Polynomial Constraints | Publicación