On SAT Modulo Theories and Optimization Problems | Publicación