Encoding Basic Arithmetic Operations for SAT-Solvers | Publicación