Top-k Learned Clauses for Modern SAT Solvers | Publicación