Nicole Nemer-Preece, Ralph W. Wilkerson
Parallel genetic algorithm to solve the satisfiability problem
SAC, 1998.
@inproceedings{SAC-1998-Nemer-PreeceW, author = "Nicole Nemer-Preece and Ralph W. Wilkerson", booktitle = "{Proceedings of the 13th Symposium on Applied Computing}", doi = "10.1145/330560.330565", pages = "23--28", publisher = "{ACM}", title = "{Parallel genetic algorithm to solve the satisfiability problem}", year = 1998, }