@techreport{weko_32573_1,
   author	 = "宮野,英次 and 安部田,英俊 and 岩間,一雄",
   title	 = "充足可能性問題のための例題生成アルゴリズムについて",
   year 	 = "1991",
   institution	 = "九州大学工学部, 九州大学工学部, 九州大学工学部",
   number	 = "79(1991-AL-023)",
   month	 = "sep"
}