@misc{indiciaeaee4ec6ef8c3,
  title = {There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem},
  author = {Gary McGuire and Bastian Tugemann and Gilles Civario},
  year = {2013},
  url = {https://arxiv.org/abs/1201.0749},
  note = {Source identifier: 1201.0749}
}