Parallel genetic algorithm to solve the satisfiability problem

Authors:
Nicole Nemer-Preece;Ralph Wilkerson
Affiliations:
Computer Science Department, University of Missouri-Rolla, 18 Miner Circle, Rolla, Missouri;Computer Science Department, University of Missouri-Rolla, 18 Miner Circle, Rolla, Missouri
Venue:
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Year:
1998

Citing 4
Cited 2

Automated reasoning (2nd ed.): introduction and applications

Automated reasoning (2nd ed.): introduction and applications
Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure

Proceedings of the 1990 ACM/IEEE conference on Supercomputing
A Computing Procedure for Quantification Theory

Journal of the ACM (JACM)
Genetic Algorithms in Search, Optimization and Machine Learning

Genetic Algorithms in Search, Optimization and Machine Learning

Using modern graphics architectures for general-purpose computing: a framework and analysis

Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture
A selective approach to parallelise Bees Swarm Optimisation metaheuristic: application to MAX-W-SAT

International Journal of Innovative Computing and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract