基于近期文字极性分配的学习子句评估算法

冯心妍, 吴贯锋, 张丁荣, 王恪铭,

A learnt clause evaluation algorithm based on recent literal polarity assignment

FENG Xin-yan, WU Guan-feng, ZHANG Ding-rong, WANG Ke-ming,

计算机工程与科学 . 2023, (11): 1941 -1948 .