@phdthesis{oai:repository.dl.itc.u-tokyo.ac.jp:02005300,
 author = {山下, 洋史 and Yamachita, Hiroshi},
 month = {Mar},
 note = {学位の種別: 課程博士, 審査委員会委員 : （主査）東京大学教授 合原 一幸, 東京大学教授 松尾 宇泰, 東京大学准教授 田中 健一郎, 東京大学特任准教授 田中 剛平, 東京大学特任准教授 藤原 寛太郎},
 school = {東京大学, The University of Tokyo},
 title = {Numerical Simulation and Mathematical Analysis of SAT-Solving Continuous-Time Dynamical Systems},
 year = {2020}
}