标签
SAT-ACT 是一种用于 CDCL 分支决策的学习框架，它从同一求解器状态下基于结果的展开轨迹中提取动作偏好，训练以状态为条件的网络来指导分支决策，并在降低搜索成本的同时，改善 SAT 竞赛基准上的 PAR-2 指标。