Solving the Satisfiability Problem by Using Randomized Approach. - L. C. Wu; C. Y. Tang (Inf. Process. Lett., 1992)