Mixed Integer Linear Programming Models to Solve the Shisen-Sho Puzzle | IEEE Conference Publication | IEEE Xplore