@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00008562,
 author = {木村, 慧},
 month = {Mar},
 note = {学位の種別: 課程博士, 審査委員会委員 : (主査)東京大学教授 室田 一雄, 東京大学教授 今井 浩, 東京大学教授 岩田 覚, 東京大学准教授 平井 広志, 京都大学准教授 牧野 和久, 東京大学教授 千葉 滋},
 title = {制約充足問題に対する充足可能性保存割当ての解析とそのアルゴリズム設計への応用},
 year = {2015}
}