A Robust Theory of Series Parallel Graphs.

Rajeev Alur Caleb Stanford Christopher Watson

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

series parallel
temporal reasoning
binary trees
tree decomposition
precedence constraints
np complete
constraint networks
network design
image sequences
redundancy allocation