正则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]

Authors

Mingming Zhang

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

Daoyun Xu

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