Solving the satisfiability problem by a parallel cellular genetic algorithm

Proceedings - 24th EUROMICRO Conference, EURMIC 1998

Volumn 2, Issue , 1998, Pages 715-722

  Folino, G ^a   Pizzuti, C ^a   Spezzano, G ^a  

^a CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

CELLULAR GENETIC ALGORITHMS; EVOLUTIONARY METHOD; GENETIC OPERATORS; INITIAL POPULATION; PARALLEL IMPLEMENTATIONS; SATISFIABILITY PROBLEMS; SELECTIVE GENERATION; TWO-DIMENSIONAL CELLULAR AUTOMATA;

GENETIC ALGORITHMS;

EID: 85049783089     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1998.708093     Document Type: Conference Paper

References (18)

1. Cannataro M., Di Gregorio S., Rongo R., Spataro W., Spezzano G., Talia D., A Parallel Cellular Automata Environment on Multicomputers for Computational Science, Parallel Computing, North Holland, vol. 21, n. 5, pp. 803-824, 1995.
2. Chang, C, Lee, R.C. Symbolic Logic and mechanical theorem proving. Academic Press, 1973.
3. Cook, S.A., Mitchell, D. Finding hard instances of the satisfiability problem: A survey, DIM ACS series in Discrete Mathematics, 1991.
4. Garey, M.R., Johnson, D.S. Computers and Intractability. A guide to the theory of NP-completeness. San Francisco, Freeman, 1979.
5. Gu, J. Global Optimization for Satisfiability (SAT) Problem. IEEE Transaction on Knowledge and Data Engineering 6(3) 361-381, 1994.
6. Hao J. K., Dome R. A New Population-Based Method for Satisfiability Problems. Proc. of ECAI 94, 1994.
7. De Jong A., Spears M.W. Using Genetic Algorithms to Solve NP-Complete Problems. Proc. of the Intern. Conf. On Genetic Algorithms, George Mason University, Fairfax, Virginia, June 1989.
8. Kamath, A.P., Karmarkar, N.K., Ramakrishnan, K.G., Resende, M.G.C., A continuos approach to inductive inference. Mathematical Programming 57 215-238, 1991.
9. Kautz, H.A., Selman, B. Planning as satisfiability. Proc. ofECAI-92, 1992.
10. Larrabee, T. Test pattern generation using Boolean satisfiability. IEEE Trans, on Computer-Aided Design, A-lS, 1992.
11. Martin, W.N., Lienig, J., Cohoon, J.P. Island (migration) models: Evolutionary algorithms based on punctuated equilibria. Handbook of Evolutionary Computation, IOP Publishing, 1997.
12. Mitchell, D., Selman, B., Levesque, H. Hard and easy distributions of SAT problems: Proc. of AAAI, 1992.
13. Pettey, C. Diffusion (cellular) models. Handbook of Evolutionary Computation, IOP Publishing, 1997.
14. Pizzuti C, Spezzano G., Ursino D. A Cellular Genetic Algorithm for Satisfiability Problems. In Advances in Intelligent Systems, Morabito F.C. (ed.), IOS Press, Amsterdam, 408-413, 1997.
15. Selman, B., Levesque, H., Mitchell, D. A New Methods for Solving Hard Satisfiability Problems, Proc. of AAAI, 1992.
16. Selman, B., Kautz, H.A., Cohen, B. Noise strategies for Improving Local Search, Proc. of AAAI, 1994.
17. Spezzano G., Talia D., A High-level Cellular Programming Model for Massively Parallel Processing, Proc. of the 2nd Int. Workshop on High-Level Programming Models and Supportive Environments HIPS'97, IEEE Computer Society Press, pp. 55-63, April 1997.
18. Toffoli T., Margolus N. Cellular Automata Machines A New Environment for Modeling. The MIT Press, Cambridge, Massachusetts, 1986.