TY  - RPRT
TI  - Understanding CDCL Solvers via Scalability Studies and Proofdoors
AU  - Shimin Zhang
AU  - Yechuan Xia
AU  - Chunxiao Li
AU  - Jianwen Li
AU  - Moshe Y. Vardi
AU  - Vijay Ganesh
PY  - 2026
UR  - https://arxiv.org/abs/2605.15506
ID  - 2605.15506
ER  -