@inproceedings{weko_183844_1,
   author	 = "宮内,哲夫 and 田中,清史",
   title	 = "SMT ソルバを用いた Slitherlink パズルの解法",
   booktitle	 = "ゲームプログラミングワークショップ2017論文集",
   year 	 = "2017",
   volume	 = "2017",
   number	 = "",
   pages	 = "111--118",
   month	 = "nov"
}