TY  - RPRT
TI  - Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities
AU  - Jiaying Zhu
AU  - Ziyang Zheng
AU  - Zhengyuan Shi
AU  - Yalun Cai
AU  - Qiang Xu
PY  - 2025
UR  - https://arxiv.org/abs/2508.04235
ID  - 2508.04235
ER  -