Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!
In recent times, Sudoku has become very popular in many newspapers and magazines. Sudoku is a number game based on very simple logic rules. In this thesis a system has to be developed which takes Sudoku as a first class example of an application of a rule language such as WRL, aiming at an automatic solver of Sudoku games.