J-POP: Japanese Puzzles as Optimization Problems | IEEE Journals & Magazine | IEEE Xplore