Efficient network configuration verification using optimized datalog.

Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo

Browse the full INFOCOM paper archive.