1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究Model Checking Go.pdf

论文研究Model Checking Go.pdf

上传者: 2020-05-24 09:41:18上传 PDF文件 480.78KB 热度 33次
围棋模型检测,朱维军,,基于符号模型检测的围棋方法与基于学习的方法有互补性。为此提出一种新的基于前者技术的算法。首先,通过强限制条件获得一个有限
下载地址
用户评论