SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers | Publicación