★ 2
SAT-ACT：从结果偏好学习 CDCL 分支决策
论文提出 SAT-ACT，通过在同一求解器状态发起独立分支 rollout 并比较结果，提取动作偏好来训练状态条件网络指导 CDCL 分支。方法在证据不足时不做强行排序，并引入非支配启发式动作监督。实验在三个 SAT 族上持续降低搜索成本，并提升 SAT Competition 基准的 PAR-2。
arXiv cs.AI4 小时前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出 SAT-ACT，通过在同一求解器状态发起独立分支 rollout 并比较结果，提取动作偏好来训练状态条件网络指导 CDCL 分支。方法在证据不足时不做强行排序，并引入非支配启发式动作监督。实验在三个 SAT 族上持续降低搜索成本，并提升 SAT Competition 基准的 PAR-2。