Parallel genetic algorithm to solve the satisfiability problem.

Nicole Nemer-Preece, Ralph W. Wilkerson

Browse the full SAC paper archive.