@inproceedings{weko_183250_1,
   author	 = "土井,龍太郎 and 橋本,昌宜",
   title	 = "ビアスイッチFPGAにおけるスニークパス問題のSAT符号化を用いた検証",
   booktitle	 = "DAシンポジウム2017論文集",
   year 	 = "2017",
   volume	 = "2017",
   number	 = "",
   pages	 = "3--8",
   month	 = "aug"
}