东北大学学报（自然科学版）
一种求解SAT问题的人工蜂群算法
郭莹，张长胜，张斌
An Artificial Bee Colony Algorithm for Solving SAT Problem
GUO Ying， ZHANG Changsheng， ZHANG Bin
东北大学学报:自然科学版 . 2014, (1): 29 -32 .  DOI: 10.12068/j.issn.1005-3026.2014.01.007