TY - RPRT TI - PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation AU - Robert A. Hearn AU - Erik D. Demaine PY - 2004 UR - https://arxiv.org/abs/cs/0205005 ID - cs/0205005 ER -