@techreport{weko_31947_1, author = "八登,崇之 and 瀬田,剛広", title = "別解問題の計算量と完全性、およびパズルへの応用", year = "2002", institution = "東京大学大学院理学系研究科情報科学専攻, 東京大学大学院情報理工学系研究科コンピュータ科学専攻", number = "103(2002-AL-087)", month = "nov" }