Linked Presentation: Efficient Network Reachability Analysis Using a Succinct Control Plane Representation