Bachelor Informatica



The following thesis was written by a student in the 2015-2016 class of the Bachelor Informatica programme at Leiden University.


Thesis details

Title Attacking the n-puzzle using SAT solvers
Student Edixhoven, L.
Programme Bachelor Informatica
Year 2015-2016
Thesis Open Thesis PDF

Citation details

Edixhoven, L., Attacking the n-puzzle using SAT solvers, Thesis Bachelor Informatica, Leiden University, 2016.