Critical behaviour in the satisfiability of random boolean expressions (1994)

by Scott Kirkpatrick, Bart Selman
Venue:Science