@techreport{weko_51365_1, author = "沼尾,雅之", title = "制約プログラミングのためのネットワークモデルとその上で変更伝搬", year = "1987", institution = "日本アイ・ビー・エム株式会社東京基礎研究所", number = "63(1987-ICS-054)", month = "sep" }