1. D. Achlioptas, A. Chtcherba, G. Istrate, C. Moore, The phase transition in NAE-k-SAT and 1-in-k-SAT, Proc. 11th ACM-SIAM Symp. on Discrete Algorithms, SODA’2001, Washington D.C, USA, 2001, pp. 721–722.
2. Random Graphs;Bollobás,1985
3. The scaling window of the 2-SAT transition;Bollobás;Random Struct. Algorithms,2001
4. Mick gets some (the odds are on his side);Chvátal,1992
5. Satisfiability threshold for random XOR-CNF formulæ;Creignou;Discrete Appl. Math.,1999