CS5099 Dissertation in Computer Science from the University of St Andrews. The goal of the paper is to create a general method for grading Sudoku puzzles using Minimal Unsatisfiable Sets.
Subscribe to the i Digital Subscription to unlock unlimited access to 27 daily puzzles online and in the app, plus additional content and exclusive subscriber-only newsletters.