Mingming Zhang, Daoyun Xu. 正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem). 计算机科学, 43(4):33-36, 2016. [doi]
@article{ZhangX18a-1,
title = {正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem)},
author = {Mingming Zhang and Daoyun Xu},
year = {2016},
url = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2016.04.006},
researchr = {https://researchr.org/publication/ZhangX18a-1},
cites = {0},
citedby = {0},
journal = {计算机科学},
volume = {43},
number = {4},
pages = {33-36},
}