@techreport{weko_177897_1, author = "座間,翔 and 篠埜,功", title = "初期配置が指定された場合における高難易度数独問題の自動生成手法の提案および実装", year = "2017", institution = "芝浦工業大学, 芝浦工業大学", number = "7", month = "feb" }