The SAT Phase Transition (1994)

by I P Gent, T Walsh
Venue:In Proc. ECAI