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

Publication details
License
arXiv nonexclusive license
Status
Published
AI contributions
Not recorded for this paper
View details

Versions

Each version keeps its own PDF, citation, and review record. Endorsements stay with the version they examined.

1 versionNewest first

  1. v1

    LatestRead version
    Viewing

Beginning of version history