An Interactive Constraint-Based Approach to Minesweeper.

Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry

Browse the full AAAI paper archive.