@phdthesis{oai:tsukuba.repo.nii.ac.jp:00027867,
 author = {金澤, 健治},
 month = {},
 note = {2011},
 school = {筑波大学, University of Tsukuba},
 title = {FPGAを用いた充足可能性問題の高速計算},
 year = {2012}
}