@techreport{weko_169421_1, author = "Hirofumi,Suzuki and Sun,Hao and Shin-ichi,Minato", title = "Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model", year = "2016", institution = "Graduate School of Information Science and Technology, Hokkaido University, Graduate School of Information Science and Technology, Hokkaido University, Graduate School of Information Science and Technology, Hokkaido University", number = "3", month = "jul" }