The Phase Transition Analysis for Random Regular Exact (s, c, k) - SAT Problem

Xiaoling Mo, Daoyun Xu, Xi Wang. The Phase Transition Analysis for Random Regular Exact (s, c, k) - SAT Problem. IEEE Access, 9:26664-26673, 2021. [doi]

Abstract

Abstract is missing.