Login / Signup
PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation.
Robert A. Hearn
Erik D. Demaine
Published in:
Theor. Comput. Sci. (2005)
Keyphrases
</>
computational model
statistical model
formal model
high level
neural network
conceptual model
classical logic
integer linear programming
data sets
decision trees
image sequences
cost function
probability distribution
em algorithm
experimental data