@techreport{oai:tsukuba.repo.nii.ac.jp:00018714,
 author = {Jefferson, O. Andrade},
 month = {},
 note = {魅力ある大学院教育イニシアティブ：実践IT力を備えた高度情報学人材育成プログラム},
 title = {Optimizing mv-BMC to mv-SAT Conversion},
 year = {2007}
}