TY  - RPRT
TI  - A Minesweeper Solver Using Logic Inference, CSP and Sampling
AU  - Yimin Tang
AU  - Tian Jiang
AU  - Yanpeng Hu
PY  - 2018
UR  - https://arxiv.org/abs/1810.03151
ID  - 1810.03151
ER  -