A fully dynamic reachability algorithm for directed graphs with an almost linear update time

From MaRDI portal
Publication:3580968