A Dataset of Sudoku Puzzles With Difficulty Metrics Experienced by Human Players | IEEE Journals & Magazine | IEEE Xplore