PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation

What this record says

We present a nondeterministic model of computation based on reversing edge directions in weighted directed graphs with minimum in-flow constraints

CATALOG · The abstract is indexed.