A threshold for unsatisfiability (1996)

by A Goerdt
Venue:Journal of Computer and System Sciences