On the Probabilistic Performance of Algorithms for the Satisfiability Problem (1986)

by J FRANCO
Venue:Info. Proc. Letts