Solving Japanese puzzles with logical rules and depth first search algorithm | IEEE Conference Publication | IEEE Xplore