Sign in

A Robust Theory of Series Parallel Graphs.

Rajeev AlurCaleb StanfordChristopher 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