• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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