@phdthesis{oai:tsukuba.repo.nii.ac.jp:00042864,
 author = {小林, 宗広 and Kobayashi, Munehiro},
 month = {},
 note = {2016},
 school = {筑波大学, University of Tsukuba},
 title = {Symbolic computation and machine learning on logical formulas},
 year = {2017}
}