Progressive Reasoning Under Uncertainty: A Three-Phase Approach to Automated Minesweeper Solving. - Tuhin Dhar; Rapti Chaudhuri; Suman Deb (PReMI (2), 2025)