Login / Signup

Efficient network configuration verification using optimized datalog.

Yahui LiZhiliang WangXia YinXingang ShiJianping WuJiangyuan YaoYingya Guo
Published in: INFOCOM Workshops (2018)
Keyphrases
  • network configuration
  • neural network
  • expressive power
  • bayesian networks
  • model checking
  • deductive databases