东北大学学报（自然科学版）
一种求解SAT问题的动态重启策略
郭莹，张长胜，张斌
An Dynamic Restart Strategy for Solving SAT Problem
GUO Ying， ZHANG Changsheng， ZHANG Bin
东北大学学报:自然科学版 . 2014, (7): 935 -938 .  DOI: 10.12068/j.issn.1005-3026.2014.07.006