Login / Signup
Accelerating BGP Configuration Verification Through Reducing Cycles in SMT Constraints.
Xiaozhe Shao
Zibin Chen
Daniel E. Holcomb
Lixin Gao
Published in:
IEEE/ACM Trans. Netw. (2022)
Keyphrases
</>
constrained optimization
configuration problems
real time
machine learning
information retrieval
case study
anomaly detection
model checking
constraint satisfaction
constraint programming
formal methods
linear constraints
statistical machine translation
constraint language