Practical Intent-driven Routing Configuration Synthesis. - Sivaramakrishnan Ramanathan; Ying Zhang 022; Mohab Gawish; Yogesh Mundada; Zhaodong Wang; Sangki Yun; Eric Lippert; Walid Taha; Minlan Yu; Jelena Mirkovic (NSDI, 2023)