Critical behavior in the computational cost of satisfiability testing (1996)

by B Selman, S Kirkpatrick
Venue:Artificial Intelligence