Speculative SAT Modulo SAT | Publicación