A cellular evolutionary algorithm to solve satisfiability problem

Clara Pizzuti ^[1] ; Giandomenico Spezzano ^[1]
1. [1] University of Calabria
  
  University of Calabria
  
  Cosenza, Italia
Localización: CAEPIA'97: actas / coord. por Asociación Española de Inteligencia Artificial, Vicente J. Botti Navarro, 1997, ISBN 84-8498-765-5, págs. 165-173
Idioma: inglés
Texto completo no disponible (Saber más ...)
Resumen
- This paper presents a new evolutionary method for the satisfiability problem. It is based on a cellular genetic algorithm which performs a global search on random initial population of individuals and local selective generation of new strings according to new defined genetic operators. The algorithm adopts a diffusion model of information among chromosomes by realizing a two-dimensional cellular automata. Furthermore, the cellular algorithm is suitable for a direct parallel implementation.