@misc{indiciaeba95c9e3e286,
  title = {Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities},
  author = {Jiaying Zhu and Ziyang Zheng and Zhengyuan Shi and Yalun Cai and Qiang Xu},
  year = {2025},
  url = {https://arxiv.org/abs/2508.04235},
  note = {Source identifier: 2508.04235}
}