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]

Authors

Xiaoling Mo

This author has not been identified. Look up 'Xiaoling Mo' in Google

Daoyun Xu

This author has not been identified. Look up 'Daoyun Xu' in Google

Kai Yan

This author has not been identified. Look up 'Kai Yan' in Google

Zaijun Zhang

This author has not been identified. Look up 'Zaijun Zhang' in Google