C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient network configuration verification using optimized datalog.
Yahui Li
Zhiliang Wang
Xia Yin
Xingang Shi
Jianping Wu
Jiangyuan Yao
Yingya Guo
Published in:
INFOCOM Workshops (2018)
Keyphrases
</>
network configuration
neural network
expressive power
bayesian networks
model checking
deductive databases