Login / Signup
#P-completeness of counting update digraphs, cacti, and a series-parallel decomposition method.
Camille Noûs
Kévin Perrot
Sylvain Sené
Lucas Venturini
Published in:
CoRR (2020)
Keyphrases
</>
decomposition method
series parallel
tree decomposition
decomposition methods
decomposition algorithm
temporal reasoning
binary trees
redundancy allocation
computational complexity
scheduling problem