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.
On the road of creating self sufficient AI's, this thesis researches how to handle varying colors in a game.
Solving miracle sudoku's using Boolean Satisfiability Solver (SAT-solver) in Python.