Efficient Sink-Reachability Analysis via Graph Reduction

Jens Dietrich 0001, Lijun Chang, Long Qian, Lyndon M. Henry, Catherine McCartin, Bernhard Scholz. Efficient Sink-Reachability Analysis via Graph Reduction. IEEE Trans. Knowl. Data Eng., 34(11):5321-5335, 2022. [doi]

Abstract

Abstract is missing.