@techreport{weko_146144_1,
   author	 = "増子,駿 and 小平,行秀",
   title	 = "CMOS回路の1次元レイアウト面積最小化問題に対する高速化のためのSATヘの定式化",
   year 	 = "2015",
   institution	 = "会津大学コンピュータ理工学部, 会津大学コンピュータ理工学部",
   number	 = "18",
   month	 = "nov"
}