The SAT phase transition (1994)

by I P Gent, T Walsh
Venue:Proceedings of ECAI-94