AAAI Publications, Third Annual Symposium on Combinatorial Search

Font Size: 
Layer-Abstraction for Symbolically Solving General Two-Player Games
Peter Kissmann, Stefan Edelkamp

Last modified: 2010-08-25


In this paper we propose a new algorithm for solving general two-player turn-taking games that performs symbolic search utilizing binary decision diagrams (BDDs). It consists of two stages: First, it determines all breadth-first search (BFS) layers using forward search and omitting duplicate detection, next, the solving process operates in backward direction only within these BFS layers thereby partitioning all BDDs according to the layers the states reside in. We provide experimental results for selected games and compare to a previous approach. This comparison shows that in most cases the new algorithm outperforms the existing one in terms of runtime and used memory so that it can solve games that could not be solved before with a general approach.


General Games; Two-Player Turn-Taking Games; Solving Games; Symbolic Search

Full Text: PDF