The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem

Guoxia Nie, Daoyun Xu, Xiaofeng Wang, Xi Wang. The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem. Symmetry, 13(7):1231, 2021. [doi]

Abstract

Abstract is missing.