Login / Signup

Race Detection and Reachability in Nearly Series-Parallel DAGs.

Kunal AgrawalJoseph DeviettiJeremy T. FinemanI-Ting Angelina LeeRobert UtterbackChangming Xu
Published in: SODA (2018)
Keyphrases
  • series parallel
  • directed acyclic graph
  • temporal reasoning
  • binary trees
  • tree decomposition
  • genetic algorithm
  • computational complexity
  • optimization algorithm
  • heuristic search
  • graph theory