@techreport{weko_28995_1,
   author	 = "鴨志田,良和 and 田浦,健次朗 and 近山,隆",
   title	 = "論理式の充足可能性問題における変数の依存関係に基づく効率的な変数決定順序",
   year 	 = "2005",
   institution	 = "東京大学, 東京大学, 東京大学",
   number	 = "81(2005-HPC-103)",
   month	 = "aug"
}