A PSPACE-complete Graph Nim

Kyle W. Burke Olivia George

Published in: CoRR (2011)

Keyphrases

pspace complete
np complete
causal graph
model checking
satisfiability problem
decision problems
strips planning
directed graph
directed acyclic graph
domain specific
random walk
tree automata
search algorithm
special case
planning problems