Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers | Publicación