Parallel genetic algorithm to solve the satisfiability problem

Proceedings of the ACM Symposium on Applied Computing

Volumn 02-February-1998, Issue , 1998, Pages 23-28

  Nemer Preece, Nicole ^a   Wilkerson, Ralph ^a  

^a Missouri University of Science and Technology   (United States)

Author keywords

David Putnam method; Genetic algorithms; Model generation; Parallel processing; Satisfiability problem

Indexed keywords

COMPUTATION THEORY; EMBEDDED SYSTEMS; FORMAL LOGIC; GENETIC ALGORITHMS;

CONSTRAINT SATISFACTION; DAVID-PUTNAM METHOD; INTER PROCESSOR COMMUNICATION; MODEL GENERATION; PARALLEL GENETIC ALGORITHMS; PARALLEL PROCESSING; SATISFIABILITY PROBLEMS; SOLVE THE SATISFIABILITY;

PROBLEM SOLVING;

EID: 85002263500     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/330560.330565     Document Type: Conference Paper

References (8)

1. Chen, W. and Fang, M. Theorem Proving in Prepositional Logic on Vector Computers Using a Generalized Davis-Putnam Procedure. Proceedings of Supercomputing 1990, pp. 658-665, 1990.
2. Davis, M. and Putnam, H. A Computing Procedure for Quantification Theory. Journal of the Association for Computing Machinery, Vol. 7, No. 3, pp. 201-215, 1960.
3. Goldberg David E. Genetic Algorithms in Search Optimization and Machine Learning Reading Massachusettts: Addison-Wesley Publishing Company, Inc., 1989
4. Hooker, J. N. and Vinay, V. Branching Rules for Satisfiability. Journal of Automated Reasoning, Vol. 15, No. 3, pp. 359-383, 1995.
5. McCune, W. A Davis-Putnam Program and its Application to Finite First-Order Model Search: Quasigroup Existence Problems. Technical Report, Argonne National Laboratory, 1994.
6. Shumsky, Olga. New Methods in Finite First-Order Model Search. Masters Thesis, University of Missouri-Rolla, Rolla, Missouri, 1996.
7. Wos, Larry, Overbeek, Ross; Luck, Ewing; and Boyle, Jim. Automated Reasoning: Introduction and Applications. New York: McGraw-Hill, Inc., 1992.
8. Zhang, H. and Stickel, M. E. Implementing the Davis-Putnam Algorithm by Tries, 1994.