@misc{indiciaee8d999fe7aa5,
  title = {SAT-ACT: Learning CDCL Branching from Outcome-Derived Action Preferences},
  author = {Zhenchao Sun and Chongyang Tao and Ping Lu and Tongkai Lu and Jianling Gao and Shuai Ma},
  year = {2026},
  url = {https://arxiv.org/abs/2610.41290},
  note = {Source identifier: 2610.41290}
}