Solving the satisfiability problem by a parallel cellular genetic algorithm | IEEE Conference Publication | IEEE Xplore