@inproceedings{weko_171677_1,
   author	 = "柏,多恵子 and 梶山,浩嗣 and 佐田,宏史 and 前川,仁孝 and 伊與田,光宏",
   title	 = "最良解保持によるBDD動的変数順序付けの高速化",
   booktitle	 = "第67回全国大会講演論文集",
   year 	 = "2005",
   volume	 = "2005",
   number	 = "1",
   pages	 = "75--76",
   month	 = "mar"
}