Zechun Li, Peng Zhang, Yichi Zhang, Hongkun Yang: NDD: A Decision Diagram for Network Verification. NSDI 2025: 237-258