It seems the link to the minesweeper paper is broken, anyone know the title/has an alternate link?
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