国内会議発表 (査読なし・不明)

• Tong Qin, Osamu Watanabe. An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem, COMP, 信学技報, vol. 117, no. 269, pp. 5-12, Oct. 2017.

学位論文

• Improvements of PPSZ Algorithms for Unique 3-SAT Problem,  Thesis,  Doctor (Science),  Tokyo Institute of Technology,  2021/09/24,   
• Improvements of PPSZ Algorithms for Unique 3-SAT Problem,  Summary,  Doctor (Science),  Tokyo Institute of Technology,  2021/09/24,   
• Improvements of PPSZ Algorithms for Unique 3-SAT Problem,  Exam Summary,  Doctor (Science),  Tokyo Institute of Technology,  2021/09/24,   
• Improvements of the Algorithm of Hertli for the Unique 3-SAT Problem,  Master (Science),  Tokyo Institute of Technology,  2017/09/--, 

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]