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]

Abstract

Abstract is missing.