1. Don't mind the gap: Bridging network-wide objectives and device-level configurations
2. Z3: An Efficient SMT Solver
3. Niklas Een. 2005. Minisat-a SAT solver with conflict-clause minimization. Proc. Theory and Applications of Satisfiability Testing (SAT 05) (2005).
4. Flash
5. Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, and George Varghese. 2020. Finding Network Misconfigurations by Automatic Template Inference. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020, Ranjita Bhagwan and George Porter (Eds.). USENIX Association, 999--1013. https://www.usenix.org/conference/nsdi20/presentation/kakarla