Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Truly Symbolic Linear-Time Algorithm for SCC Decomposition;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs;Logical Methods in Computer Science;2022-03-10
3. OSMRunner : A System for Exploring and Fixing OSM Connectivity;2021 22nd IEEE International Conference on Mobile Data Management (MDM);2021-06
4. Computing Bottom SCCs Symbolically Using Transition Guided Reduction;Computer Aided Verification;2021
5. Symbolic Coloured SCC Decomposition;Tools and Algorithms for the Construction and Analysis of Systems;2021