@techreport{weko_51031_1, author = "野中,哲", title = "部分解を利用した制約充足問題解決", year = "1992", institution = "NTTデータ通信株式会社", number = "92(1992-ICS-085)", month = "nov" }