正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem)

Mingming Zhang, Daoyun Xu. 正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem). 计算机科学, 43(4):33-36, 2016. [doi]

Abstract

Abstract is missing.