Satisfiability threshold of the random regular (s, c, k)-SAT problem

Xiaoling Mo, Daoyun Xu, Kai Yan, Zaijun Zhang. Satisfiability threshold of the random regular (s, c, k)-SAT problem. Frontiers of Computer Science in China, 16(3):163408, 2022. [doi]

Abstract

Abstract is missing.