Raphaël Collet: Playing the Minesweeper with Constraints. MOZ 2004: 251-262