@misc{indiciae37061ea6131b,
  title = {Understanding CDCL Solvers via Scalability Studies and Proofdoors},
  author = {Shimin Zhang and Yechuan Xia and Chunxiao Li and Jianwen Li and Moshe Y. Vardi and Vijay Ganesh},
  year = {2026},
  url = {https://arxiv.org/abs/2605.15506},
  note = {Source identifier: 2605.15506}
}