@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00169824,
 author = {岡村, 昌彦 and 長谷川, 隆三 and 藤田, 博},
 book = {第66回全国大会講演論文集},
 issue = {1},
 month = {Mar},
 pages = {363--364},
 publisher = {情報処理学会},
 title = {FPGAを用いた充足可能性問題の解法における知的バックトラックの導入},
 volume = {2004},
 year = {2004}
}