基于频次的SAT问题学习子句混合评估算法

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

基于频次的SAT问题学习子句混合评估算法

吴贯锋1,2，徐扬2,3,陈青山1,2,何星星2,3，常文静1,2

A hybrid learnt clause evaluation algorithm

for SAT problem based on frequency

WU Guan-feng1,2,XU Yang2,3,CHEN Qing-shan1,2,HE Xing-xing2,3,CHANG Wen-jing1,2

计算机工程与科学 . 2019, (08): 1374 -1380 .