@techreport{weko_32417_1,
   author	 = "朝廣雄一 and 岩間,一雄 and 宮野,英次",
   title	 = "AIMジェネレー夕によるバックトラック及び局所探索SATアルゴリズムの評価",
   year 	 = "1994",
   institution	 = "九州大学工学部情報工学科, 九州大学工学部情報工学科, 九州大学工学部情報工学科",
   number	 = "35(1994-AL-039)",
   month	 = "may"
}