Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge.

Xing Fang, Feiyan Ding, Bang Huang, Ziyi Wang, Gao Han, Rulan Yang, Lizhao You, Qiao Xiang, Linghe Kong, Yutong Liu, Jiwu Shu

Browse the full INFOCOM paper archive.