论文研究-Model Checking Go.pdf

【文件属性】：

文件名称：论文研究-Model Checking Go.pdf

文件大小：481KB

文件格式：PDF

更新时间：2022-09-08 10:32:54

AI

围棋模型检测，朱维军，，基于符号模型检测的围棋方法与基于学习的方法有互补性。为此提出一种新的基于前者技术的算法。首先，通过强限制条件获得一个有限