Béla Bollobás Christian Borgs Jennifer T. Chayes Jeong Han Kim David Bruce Wilson The scaling window of the 2-SAT transition. 201-256 2001 18 Random Struct. Algorithms 3 db/journals/rsa/rsa18.html#BollobasBCKW01