La majeure partie de la recherche sur le jeu du démineur s'est concentrée sur le problème d'inférer quelles cellules peuvent ou ne peuvent pas contenir une mine, discutant de la complexité de ce problème (et de ses variantes) et proposant des techniques de résolution efficaces. Si cette tâche d'inférence est en effet cruciale pour jouer au démineur, ce document revient au jeu original dans sa totalité, le modélisant comme un problème de prise de décision séquentielle --plus précisément comme un processus de décision markovien partiellement observable (POMDP)-- avant de proposer et d'étudier diverses heuristiques pour résoudre le problème clef de la sélection de la prochaine cellule à jouer.