Solving SAT problem with a multiagent evolutionary algorithm | IEEE Conference Publication | IEEE Xplore