Solving SAT problem with a multiagent evolutionary algorithm.

Jinshu Li, Heyong Wang, Jing Liu, Licheng Jiao

Browse the full CEC paper archive.