@techreport{weko_31604_1,
   author	 = "薗部,知大 and 稲葉,真理 and 上田,和紀",
   title	 = "双対モデリングを用いた充足可能性問題のCNF encoding",
   year 	 = "2008",
   institution	 = "東京大学大学院情報理工学系研究科, 東京大学大学院情報理工学系研究科, 早稲田大学理工学術院",
   number	 = "84(2008-AL-119)",
   month	 = "sep"
}