基于加强概率控制策略的SAT局部搜索算法

基于加强概率控制策略的SAT局部搜索算法

洪剑珂1，张峥华2，许贵平2

SAT local search algorithm based on enhanced probability controlling strategies

HONG Jianke1, ZHANG Zhenghua2, XU Guiping2

计算机工程与应用 . 2017, (14): 56 -60 . DOI: 10.3778/j.issn.1002-8331.1603-0151