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:
FUN (2021)
Keyphrases
</>
pspace complete
np complete
model checking
decision problems
satisfiability problem
strips planning
exptime complete
tree automata
temporal logic
xml documents
decision making
search space
dynamic programming
decision makers
coalition logic