On Tackling the Limits of Resolution in SAT Solving | Publicación