@techreport{weko_29498_1,
   author	 = "梅本,潤 and 宮崎,修一 and 岡部,寿男 and 岩間,一雄",
   title	 = "PVMによるSAT並列局所探索プログラム",
   year 	 = "2000",
   institution	 = "京都大学大学院情報学研究科, 京都大学大学院情報学研究科, 京都大学大学院情報学研究科, 京都大学大学院情報学研究科",
   number	 = "23(1999-HPC-080)",
   month	 = "mar"
}