arXiv 2002-05-04 EN PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation Hearn, Robert A. · Demaine, Erik D.
