Exact MinSAT Solving | Publicación