Login / Signup
1 x 1 Rush Hour with Fixed Blocks is PSPACE-complete.
Josh Brunner
Lily Chung
Erik D. Demaine
Dylan H. Hendrickson
Adam Hesterberg
Adam Suhl
Avi Zeff
Published in:
CoRR (2020)
Keyphrases
</>
pspace complete
np complete
model checking
decision problems
satisfiability problem
strips planning
exptime complete
tree automata
temporal logic
sufficient conditions
coalition logic
database
causal graph
optimal policy
probability distribution
dynamic programming
computational complexity