2013年 Improvement on Searching Minimum Dominating Vertex Sets of Complete Grid Graphs using an IP Solver 代数とコンピュータサイエンス (京都大学数理解析研究所研究集会)