Login / Signup
DAG-width is PSPACE-complete.
Saeed Akhoondian Amiri
Stephan Kreutzer
Roman Rabinovich
Published in:
CoRR (2014)
Keyphrases
</>
pspace complete
np complete
model checking
decision problems
directed acyclic graph
satisfiability problem
strips planning
exptime complete
np hard
tree automata
temporal logic
phase transition
data complexity
constraint satisfaction problems
search algorithm
causal graph
constraint satisfaction