东北大学学报（自然科学版）
证据计数法在落子类机器博弈中的应用
高强， 徐心和
Application of Proof-Number Search to Computer Lazi Games
GAO Qiang， XU Xin-he
东北大学学报:自然科学版 . 2016, (8): 1070 -1075 .  DOI: 10.12068/j.issn.1005-3026.2016.08.002