Counting Random k-SAT near the Satisfiability Threshold.
Zongchen Chen, Aditya Lonkar, Chunyang Wang, Kuan Yang, Yitong Yin
Browse the full STOC paper archive.
Zongchen Chen, Aditya Lonkar, Chunyang Wang, Kuan Yang, Yitong Yin
Browse the full STOC paper archive.