Combining cellular genetic algorithms and local search for solving satisfiability problems

Gianluigi Folino, Clara Pizzuti, Giandomenico Spezzano. Combining cellular genetic algorithms and local search for solving satisfiability problems. In Tenth IEEE International Conference on Tools with Artificial Intelligence, ICTAI '98, Taipei, Taiwan, November 10-12, 1998. pages 192-198, IEEE, 1998. [doi]

@inproceedings{FolinoPS98-0,
  title = {Combining cellular genetic algorithms and local search for solving satisfiability problems},
  author = {Gianluigi Folino and Clara Pizzuti and Giandomenico Spezzano},
  year = {1998},
  doi = {10.1109/TAI.1998.744842},
  url = {http://dx.doi.org/10.1109/TAI.1998.744842},
  researchr = {https://researchr.org/publication/FolinoPS98-0},
  cites = {0},
  citedby = {0},
  pages = {192-198},
  booktitle = {Tenth IEEE International Conference on Tools with Artificial Intelligence, ICTAI '98, Taipei, Taiwan, November 10-12, 1998},
  publisher = {IEEE},
  isbn = {0-7803-5214-9},
}