Tu, J., Li, T., Chen, S., Zu, C., & Gu, Z. Exploring efficient strategies for minesweeper [Conference paper]