Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams.

Hirofumi Suzuki Masakazu Ishihata Shin-ichi Minato

Published in: WALCOM (2020)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
optical networks
planning problems
variable ordering
network design
knowledge compilation
model checking
fp tree
artificial intelligence
search space
dynamic programming
network structure
pattern mining
routing and wavelength assignment