Genetic-fuzzy approach to the Boolean satisfiability problem.

Witold Pedrycz Giancarlo Succi Ofer Shai

Published in: IEEE Trans. Evol. Comput. (2002)

Keyphrases

sat solvers
special case
co occurrence
cellular automata
search strategies
satisfiability problem