Complete Algorithms for Cooperative Pathfinding Problems
PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation