SAT-ACT: Learning CDCL Branching from Outcome-Derived Action Preferences.

arXiv:2610.41290v1 Announce Type: new Abstract: Learning-based approaches have increasingly been explored for SAT solving, with particular attention to improving branching decisions in conflict-driven clause learning (CDCL) solvers. These approaches derive bra