PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation 论文
2005Theoretical Computer Science引用 315
Artificial Intelligence in GamesComputability, Logic, AI AlgorithmsComputational Geometry and Mesh Generation