@techreport{weko_86191_1,
   author	 = "安藤,聡 and 酒井,正彦 and 坂部,俊樹 and 草刈,圭一朗 and 西田,直樹",
   title	 = "三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング",
   year 	 = "2012",
   institution	 = "名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科",
   number	 = "2",
   month	 = "oct"
}