CCSAT:基于冲突驱动子句学习的电路求解器. - 罗茂; 陈润尧'; 黄意雯"; 吴歆韵"; 熊才权; 柯远志 (Application Research of Computers / Jisuanji Yingyong Yanjiu, 2026)