My guess is Richard Kaye, "Minesweeper is NP-complete", but it's paywalled. Certainly the paper is listed somewhere on https://minesweepergame.com/math-papers.php
My guess is Richard Kaye, "Minesweeper is NP-complete", but it's paywalled. Certainly the paper is listed somewhere on https://minesweepergame.com/math-papers.php