基于子句活跃度和复杂度的多元动态演绎算法及应用
林玲瑜, 曹锋, 易见兵, 方旺盛, 李俊, 吴贯锋
A multi-clause dynamic deduction algorithm based on clause activity and complexity and its application
LIN Ling-yu, CAO Feng, YI Jian-bing, FANG Wang-sheng, LI Jun, WU Guan-feng
计算机工程与科学
.
2023, (12): 2256
-2264
.
