@techreport{weko_23240_1,
   author	 = "鷹野,芙美代 and 佐田,宏史 and 前川,仁孝 and 六沢,一昭 and 宮崎,収兄",
   title	 = "証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化",
   year 	 = "2005",
   institution	 = "千葉工業大学 情報工学科, 千葉工業大学 情報工学科, 千葉工業大学 情報工学科, 千葉工業大学 情報工学科, 千葉工業大学 情報工学科",
   number	 = "19(2004-ARC-162)",
   month	 = "mar"
}