Alan M. Frieze Michael Molloy The satisfiability threshold for randomly generated binary constraint satisfaction problems. 323-339 2006 28 Random Struct. Algorithms 3 http://dx.doi.org/10.1002/rsa.20118 db/journals/rsa/rsa28.html#FriezeM06