Seeking Practical CDCL Insights from Theoretical SAT Benchmarks | Publicación