@article{weko_208836_1,
   author	 = "Tetsuo,Miyauchi and Kiyofumi,Tanaka",
   title	 = "Solving Slitherlink with FPGA and SMT Solver",
   journal	 = "情報処理学会論文誌",
   year 	 = "2020",
   volume	 = "61",
   number	 = "12",
   month	 = "dec"
}