<div style="line-height: 150%">A hybrid learnt clause evaluation algorithm</div> <div style="line-height: 150%">for SAT problem based on frequency</div>

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

Computer Engineering & Science . 2019, (08): 1374 -1380 .