Delaying Satisfiability for Random 2SAT

Alistair Sinclair, Dan Vilenchik. Delaying Satisfiability for Random 2SAT. In Maria J. Serna, Ronen Shaltiel, Klaus Jansen, José D. P. Rolim, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings. Volume 6302 of Lecture Notes in Computer Science, pages 710-723, Springer, 2010. [doi]

Authors

Alistair Sinclair

This author has not been identified. Look up 'Alistair Sinclair' in Google

Dan Vilenchik

This author has not been identified. Look up 'Dan Vilenchik' in Google