Evolutionary Algorithm for Generation of Entertaining Shinro Logic Puzzles