An evolutionary framework for 3-SAT problems - Borgulya, Istvan (Array, 2003)