arXiv · AI· Zhenchao Sun, Chongyang Tao, Ping Lu, Tongkai Lu, Jianling Gao, Shuai Ma·· 4 小时前AI 评分20
SAT-ACT 学习 CDCL 分支决策：基于结果推导的动作偏好
SAT-ACT: Learning CDCL Branching from Outcome-Derived Action Preferences
AI 导读
提出 SAT-ACT 结果推导学习框架，解决 CDCL 求解器分支决策监督信号不足问题。 通过三种结果对比标准提取动作偏好，状态条件网络直接引导搜索，无需在线动作推演。 实验显示 SAT-ACT 在三个 SAT 家族一致降低搜索成本，提升 SAT Competition 基准的 PAR-2。
来源：arXiv · AI · arxiv.org