An Artificial Bee Colony Algorithm for Solving SAT Problem
GUO Ying, ZHANG Changsheng, ZHANG Bin
Journal of Northeastern University Natural Science . 2014, (1): 29 -32 .  DOI: 10.12068/j.issn.1005-3026.2014.01.007