Ladders Are PSPACE-Complete.

Marcel Crâsmaru John Tromp

Published in: Computers and Games (2000)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
np hard
causal graph
coalition logic
temporal logic
tree automata
computational complexity
expressive power
optimal policy
constraint satisfaction problems
domain specific
machine learning