An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers | Publicación