Projects
Master Thesis
On the road of creating self sufficient AI's, this thesis researches how to handle varying colors in a game.
Sudoku SAT Solver
Solving miracle sudoku's using Boolean Satisfiability Solver (SAT-solver) in Python.



