Connecting ABT with a SAT Solver | Publicación