@techreport{weko_19942_1, author = "盛田,保文 and 宮崎,修一 and 岩間,一雄", title = "部分MAXSATを利用した大学情報処理の自動化1", year = "1998", institution = "京都大学大学院情報学研究科, 京都大学大学院情報学研究科, 京都大学大学院情報学研究科", number = "57(1998-DBS-116)", month = "jul" }