スケジュール 0 11:20 〜 11:30 [C-O1-08] An Efficient Algorithm for Slitherlink by ZDDs (C000209) *Tatsuki Shingai1, Toshiki Saitoh1 (1. School of Computer Science and Systems Engineering, Kyushu Institute of Technology,Japan) キーワード:Slitherlink, puzzle solver, ZDD, enumeration algorithm