@techreport{weko_32247_1,
   author	 = "堀江,聡",
   title	 = "充足解探索問題の難しい例題生成手法について",
   year 	 = "1997",
   institution	 = "東京工業大学情報理工学研究科計算工学",
   number	 = "8(1996-AL-055)",
   month	 = "jan"
}