Space efficient algorithm for solving reachability using tree decomposition and separators

Autor: Jain, Rahul, Tewari, Raghunath
Zdroj: In Theoretical Computer Science 8 January 2024 982
Databáze: ScienceDirect