Valency Hub
alphaFeedback

WorksComputer Science

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

Zhenchao Sun, Chongyang Tao, Ping Lu, Tongkai Lu, Jianling Gao

Published Fresh — added to the Hub within the last 30 daysv1

License
arXiv nonexclusive license
Status
Published

Machine contribution statement

Machine contribution not recorded

No AI-use declaration is available for this version in Valency.

The available record does not establish whether AI systems or models contributed to this work.