• Improving sliding-block puzzle solving using meta-level reasoning 

      Spaans, Ruben Grønning (Master thesis, 2010)
      In this thesis, we develop a meta-reasoning system based on CBR which solves sliding-block puzzles. The meta-reasoning system is built on top of a search-based sliding-block puzzle solving program which was developed as ...
    • Number Field Sieve 

      Spaans, Ruben Grønning (Master thesis, 2013)
      The Number Field Sieve (NFS) is the fastest known general method for factoring integers having more than 120 digits. In this thesis we will will study the algebraic number theory that lies behind the algorithm, describe ...