Pedrycz Witold
Shai Ofer
Succi Giancarlo
Genetic - fuzzy approach to the boolean satisfiability problem