基于子句文字长度动态约束的变量消除算法

邓晓瑶，冯志勇，饶国政，王鑫

Variable Elimination Resolution Algorithm Based on Dynamic Constraint of Literal Size

DENG Xiaoyao, FENG Zhiyong, RAO Guozheng, WANG Xin

计算机科学与探索 . 2014, (11): 1314 -1323 . DOI: 10.3778/j.issn.1673-9418.1405030