Tad Hogg Colin P. Williams The Hardest Constraint Problems: A Double Phase Transition. 359-377 1994 69 Artif. Intell. 1-2 db/journals/ai/ai69.html#HoggW94