TY  - RPRT
TI  - SAT-ACT: Learning CDCL Branching from Outcome-Derived Action Preferences
AU  - Zhenchao Sun
AU  - Chongyang Tao
AU  - Ping Lu
AU  - Tongkai Lu
AU  - Jianling Gao
AU  - Shuai Ma
PY  - 2026
UR  - https://arxiv.org/abs/2610.41290
ID  - 2610.41290
ER  -