Atropos-k is PSPACE-complete.

Chao Yang Zhujun Zhang

Published in: CoRR (2024)

Keyphrases

pspace complete
np complete
model checking
decision problems
satisfiability problem
exptime complete
strips planning
tree automata
np hard
temporal logic
computational complexity
causal graph
search algorithm
constraint satisfaction problems