<p>带文字改名策略的DPLL算法*</p>

带文字改名策略的DPLL算法*

许道云+,刘长云

DPLL algorithm with literal renaming strategy

XU Dao－yun,LIU Chang－yun

计算机科学与探索 . 2007, (1): 116 -125 .