@techreport{weko_207691_1,
   author	 = "松尾,亮祐 and 湊,真一",
   title	 = "BDDに基づく光論理回路の消費電力を最小化する変数順序付け",
   year 	 = "2020",
   institution	 = "京都大学, 京都大学",
   number	 = "15",
   month	 = "nov"
}