Solving Nine Men's Morris

The paper that weakly solved Nine Men's Morris, proving the game is a draw under perfect play. Gasser's computation required eighteen months and ten billion positions — a landmark in the computational study of board games.