Critical Behaviour in the satisfiability of random Boolean expressions, Science 264 (1297)

by S Kirkpatrick, B Selman