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 |
Externí odkaz: |
Autor: | Jain, Rahul, Tewari, Raghunath |
---|---|
Zdroj: | In Theoretical Computer Science 8 January 2024 982 |
Databáze: | ScienceDirect |
Externí odkaz: |