@techreport{weko_28034_1, author = "笹尾,勤 and 松浦,宗寛", title = "BDDを用いたAND ? EXOR論理式最小化の一手法", year = "1993", institution = "九州工業大学 情報工学部 電子情報工学科, 九州工業大学 情報工学部 電子情報工学科", number = "94(1993-SLDM-068)", month = "oct" }