基于动态奖惩的分支策略的SAT完备算法

刘燕丽, 徐振兴, 熊丹

Exact SAT algorithm based on dynamic branching strategy of award and punishment

LIU Yanli, XU Zhenxing, XIONG Dan

计算机应用 . 2017, (12): 3487 -3492 . DOI: 10.11772/j.issn.1001-9081.2017.12.3487