@techreport{weko_30914_1, author = "横尾,真", title = "分散制約充足アルゴリズム", year = "1989", institution = "NTT情報通信処理研究所", number = "107(1989-PRO-033)", month = "dec" }