Critical behavior in the computational cost of satisfiability testingBart SelmanScott Kirkpatrick1996Artificial Intelligence
Critical behavior in the satisfiability of random Boolean expressionsScott KirkpatrickBart Selman1994Science