A Probabilistic Study of 3-SATISFIABILITY. - Tevfik Aytemiz (2002)