Scifaro

中文

一种基于逻辑推断、CSP与采样的扫雷求解器

人工智能 2018-10-09 v1

作者: Yimin Tang , Tian Jiang , Yanpeng Hu

在 arXiv 上查看 ↗ PDF ↗

摘要

扫雷是一款益智视频游戏，且已被证明是NPC问题。我们使用CSP、逻辑推断与采样来制作一个扫雷求解器，并将每次选择限制在5秒以内。

关键词

扫雷 CSP 逻辑推断采样 NPC问题

引用

@article{arxiv.1810.03151,
  title  = {A Minesweeper Solver Using Logic Inference, CSP and Sampling},
  author = {Yimin Tang and Tian Jiang and Yanpeng Hu},
  journal= {arXiv preprint arXiv:1810.03151},
  year   = {2018}
}