What do new Sudoku techniques teach us about real-world problem solving?