@techreport{weko_32493_1,
   author	 = "宮崎,修一 and 岩間,一雄",
   title	 = "CNF 論理式に対する局所探索法の評価",
   year 	 = "1993",
   institution	 = "九州大学工学部, 九州大学工学部",
   number	 = "24(1992-AL-032)",
   month	 = "mar"
}