1. The phase transition in NAESAT and 1-in-k SAT;Achlioptas,2001
2. Generating satisfiable problem instances;Achlioptas,2000
3. B. Bollobás, C. Borgs, J.T. Chayes, J.H. Kim, D.B. Wilson, The scaling window of the 2-SAT transition, Paper in the xxx.lanl.gov e-Print archive, Available from http://xxx.lanl.gov/abs/math.CO/9909031, 1999.
4. Where the really hard problems are;Cheeseman,1991