The Phase Transition Analysis for Random Regular Exact (s, c, k)—SAT Problem | IEEE Journals & Magazine | IEEE Xplore