基于奖励机制的SAT求解器分支策略

基于奖励机制的SAT求解器分支策略

沈雪, 陈树伟, 艾森阳

Reward Mechanism Based Branching Strategy for SAT Solver

SHEN Xue, CHEN Shu-wei, AI Sen-yang

计算机科学 . 2020, (7): 42 -46 . DOI: 10.11896/jsjkx.190700191