@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00048857, author = {岩田, 陽一}, month = {Mar}, note = {学位の種別: 課程博士, 審査委員会委員 : (主査)東京大学教授 小林 直樹, 東京大学教授 須田 礼仁, 東京大学准教授 蓮尾 一郎, 東京大学准教授 渋谷 哲朗, 東京大学教授 岩田 覚}, title = {Theory and Practice of Exact Algorithms for NP-Hard Problems : Branching and Reduction}, year = {2016} }