TY  - RPRT
TI  - Rethinking Clause Management for CDCL SAT Solvers
AU  - Yalun Cai
AU  - Xindi Zhang
AU  - Zhengyuan Shi
AU  - Mengxia Tao
AU  - Qiang Xu
PY  - 2026
UR  - https://arxiv.org/abs/2602.20829
ID  - 2602.20829
ER  -