@techreport{weko_95264_1,
   author	 = "石井大輔 and 鈴村豊太郎",
   title	 = "PGAS言語X10による数値制約充足問題ソルバーRealpaverの並列化",
   year 	 = "2013",
   institution	 = "東京工業大学, 東京工業大学／IBM東京基礎研究所／JST CREST",
   number	 = "10",
   month	 = "sep"
}