SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering | Publicación