k-SAT and the power of two choices

Will Perkins. k-SAT and the power of two choices. Random Struct. Algorithms, 47(1):163-173, 2015. [doi]

Abstract

Abstract is missing.