A Minesweeper Solver Using Logic Inference, CSP and Sampling

2018/10/07 by Yimin Tang, Tang, Yimin, Jiang Tian +3
Computer Science · Psychology · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #Educational Games and Gamification #FOS: Computer and information sciences #Teaching and Learning Programming

paper · pdf · doi:10.48550/arxiv.1810.03151

openalex publication_date 2018/10/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Minesweeper as a puzzle video game and is proved that it is an NPC problem. We use CSP, Logic Inference and Sampling to make a minesweeper solver and we limit us each select in 5 seconds.

Related

• Neural Network Learner for Minesweeper
• The computational complexity of Minesweeper
• Fast constraint satisfaction problem and learning-based algorithm for solving Minesweeper
• A Phase Transition in Minesweeper
• Complexity of Planar Graph Orientation Consistency, Promise-Inference, and Uniqueness, with Applications to Minesweeper Variants