An Interactive Constraint-Based Approach to Minesweeper  Ken
Bayer, Josh Snyder, Berthe Y. Choueiry  We present a Java applet
that uses Constraint Processing (CP) techniques to assist a
human in playing the popular game Minesweeper. Our goal is to
illustrate the power of CP techniques to model and solve
combinatorial problems. Our application allows the player to run
3 levels of consistency algorithms to uncover mined and safe
squares on the board. This tool is useful to explain CP
techniques in a context that is familiar to students and the
general public.  Subjects: 15.2 Constraint Satisfaction; 1.8
Game Playing