@techreport{weko_27648_1,
   author	 = "樋口,博之 and Somenzi,Fabio",
   title	 = "順序回路の状態探索向けBDDの動的変数順序づけ手法",
   year 	 = "2000",
   institution	 = "（株）富士通研究所, University of Colorado at Boulder",
   number	 = "2(1999-SLDM-094)",
   month	 = "jan"
}