A Minesweeper Solver Using Logic Inference, CSP and Sampling
Artificial Intelligence
2018-10-09 v1
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.
Cite
@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}
}
Related papers
View all related →
Artificial Intelligence · Computer Science
Neural Network Learner for Minesweeper
M Hamza Sajjad
2022-12-21
Artificial Intelligence · Computer Science
Fast constraint satisfaction problem and learning-based algorithm for solving Minesweeper
Yash Pratyush Sinha, Pranshu Malviya, Rupaj Kumar Nayak
2021-05-11
Computational Complexity · Computer Science
Complexity of Planar Graph Orientation Consistency, Promise-Inference, and Uniqueness, with Applications to Minesweeper Variants
MIT Hardness Group, Della Hendrickson, Andy Tockman
2024-04-24
Machine Learning · Computer Science
Multi-Armed Bandits for Minesweeper: Profiting from Exploration-Exploitation Synergy
Igor Q. Lordeiro, Diego B. Haddad, Douglas O. Cardoso
2021-06-21
Computational Complexity · Computer Science
Mastermind is NP-Complete
Jeff Stuckman, Guo-Qiang Zhang
2007-05-23
Probability · Mathematics
Phase transition for Minesweeper
Baptiste Louf
2025-06-03
Artificial Intelligence · Computer Science
A Phase Transition in Minesweeper
Ross Dempsey, Charles Guinn
2020-08-11
Computation and Language · Computer Science
Assessing Logical Puzzle Solving in Large Language Models: Insights from a Minesweeper Case Study
Yinghao Li, Haorui Wang, Chao Zhang
2024-11-08
Computational Complexity · Computer Science
The computational complexity of Minesweeper
Michiel de Bondt
2012-04-23
Artificial Intelligence · Computer Science
Ludii and XCSP: Playing and Solving Logic Puzzles
Cédric Piette, Éric Piette, Matthew Stephenson, Dennis J. N. J. Soemers +1
2019-07-02
Computer Science and Game Theory · Computer Science
A Complete Solver for Constraint Games
Thi-Van-Anh Nguyen, Arnaud Lallouet
2014-04-30
Machine Learning · Computer Science
Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
Yudong W. Xu, Wenhao Li, Scott Sanner, Elias B. Khalil
2025-06-11
Machine Learning · Computer Science
Image Detection and Digit Recognition to solve Sudoku as a Constraint Satisfaction Problem
Aditya Narayanaswamy, Yichuan Philip Ma, Piyush Shrivastava
2019-05-28
Computation and Language · Computer Science
Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks
Jinghui Qin, Xiaodan Liang, Yining Hong, Jianheng Tang +1
2021-07-06
Databases · Computer Science
Computational Complexity of Three Central Problems in Itemset Mining
Christian Bessiere, Mohamed-Bachir Belaid, Nadjib Lazaar
2020-12-09
Artificial Intelligence · Computer Science
A Mining-Based Compression Approach for Constraint Satisfaction Problems
Said Jabbour, Lakhdar Sais, Yakoub Salhi
2013-05-16
Artificial Intelligence · Computer Science
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)
Emilio Gamba, Bart Bogaerts, Tias Guns
2023-11-29
Emerging Technologies · Computer Science
Memristor-based Synaptic Sampling Machines
Irina Dolzhikova, Khaled Salama, Vipin Kizheppatt, Alex Pappachen James
2018-08-03
Computer Science and Game Theory · Computer Science
Non-cooperative rational synthesis problem for probabilistic strategies
So Koide, Yoshiaki Takata, Hiroyuki Seki
2024-10-01
Artificial Intelligence · Computer Science
Scalable Parallel Numerical CSP Solver
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
2014-11-07
Information Retrieval · Computer Science
MWPRanker: An Expression Similarity Based Math Word Problem Retriever
Mayank Goel, Venktesh V, Vikram Goyal
2023-07-06
Machine Learning · Computer Science
SMLP: Symbolic Machine Learning Prover (User Manual)
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
2024-05-17
Programming Languages · Computer Science
Integrating Interval Constraints into Logic Programming
M. H. van Emden
2010-02-09
Machine Learning · Computer Science
Sampling Unknown Decision Functions to Build Classifier Copies
Irene Unceta, Diego Palacios, Jordi Nin, Oriol Pujol
2019-10-02
Computer Science and Game Theory · Computer Science
On Reward-Penalty-Selection Games
Niklas Gräf, Till Heller, Sven O. Krumke
2022-01-17