@misc{Pedrycz_Witold_(1953–_)_Genetic_2001,
 author={Pedrycz, Witold (1953– ) and Shai, Ofer and Succi, Giancarlo},
 copyright={Creative Commons Attribution BY 4.0 license},
 address={Warszawa},
 journal={Raport Badawczy = Research Report},
 howpublished={online},
 year={2001},
 publisher={Instytut Badań Systemowych. Polska Akademia Nauk},
 publisher={Systems Research Institute. Polish Academy of Sciences},
 language={eng},
 abstract={This study concerns with the Boolean satisfiability (SAT) problem and its solution in the setting of a hybrid computational intelligence environment of genetic and fuzzy computing. In this tramework, fuzzy sets realize an embedding principle meaning that original two-values (Boolean) functions under investigation are extended to their continuous counterparts resulting in the form of fuzzy (multivalued) functions. In the sequel, the satisfiability problem is reformulated for the fuzzy functions and solved using a genetic algorithm (GA). It is shown that a GA, especially its recursive version, is an efficient tool for handling multivariable SAT problems. Thorough experiments revealed that the recursive version of the GA can solve SAT problems with more than 1000 variables.},
 title={Genetic - fuzzy approach to the boolean satisfiability problem},
 type={Text},
 URL={http://www.rcin.org.pl/Content/129944/PDF/RB-2001-57.pdf},
 keywords={Fuzzy sets, Zbiory rozmyte, Fuzzy functions, Funkcja przynależności},
}