Login / Signup

Improved Deterministic Algorithms for Decremental Reachability and Strongly Connected Components.

Jakub Lacki
Published in: ACM Trans. Algorithms (2013)
Keyphrases
  • strongly connected components
  • state space
  • gray level
  • variable ordering
  • argumentation semantics