Parallel genetic algorithm to solve the satisfiability problem. - Nicole Nemer-Preece; Ralph W. Wilkerson (SAC, 1998)