branching-heuristics

SAT-ACT is a learning framework for CDCL branching that extracts action preferences from outcome-derived rollouts at the same solver state, trains a state-conditioned network to guide branching, and reduces search costs while improving PAR-2 on SAT Competition benchmarks.