@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00052567,
 author = {文, 性琇},
 month = {Sep},
 note = {学位の種別: 課程博士, 審査委員会委員 : （主査）東京大学教授 稲葉 雅幸, 東京大学教授 山西 健司, 東京大学教授 千葉 滋, 東京大学准教授 稲葉 真理, 東京大学講師 中山 英樹, 東京大学講師 蜂須賀 恵也},
 title = {Widely Applicable Approaches to Adjust Intensity and Diversity for Constructing Efficient SAT Solvers},
 year = {2017}
}