Delaying satisfiability for random 2sat (2010)

by A Sinclair, D Vilenchik
Venue:In Proceedings of the 13th international conference on Approximation, and 14 the International conference on Randomization, and combinatorial optimization: algorithms and techniques, APPROX/RANDOM’10