IEEE/ICACT20260076 Slide.13        [Big Slide]       [YouTube] Oral Presentation
For each support vertex we maintain: R⁺ ¡æ nodes it can reach R⁻ ¡æ nodes that can reach it and a set of 3 set axioms we got from Katherine et al Using these sets, many reachability queries can be answered instantly without traversal.

[Go to Next Slide]
Select Voice: