The hardest constraint problems: A double phase transition (1994)

by C Williams, T Hogg
Venue:Artificial Intelligence