Bram Kamies - Solving Sokoban with Code Generation and Model Checking

author:Bram Kamies
title:Solving Sokoban with Code Generation and Model Checking
keywords:
topics:Case studies and Applications
committee:V. Bloemen MSc
prof.dr. J.C. van de Pol
graduation date:1 July 2016


Abstract

References

  1. Online Sokoban puzzles (Digital version available here)
  2. The LTSmin website (Digital version available here)
  3. LTSmin tool paper (Digital version available here)