Login / Signup
Convergence of Opinion Diffusion is PSPACE-complete.
Dmitry Chistikov
Grzegorz Lisowski
Mike Paterson
Paolo Turrini
Published in:
CoRR (2019)
Keyphrases
</>
pspace complete
np complete
model checking
decision problems
satisfiability problem
exptime complete
strips planning
tree automata
computational complexity
lower bound
causal graph
metadata
np hard
constraint satisfaction problems
finite state