AllSynth: A BDD-based approach for network update synthesis.

Kim G. Larsen Anders Mariegaard Stefan Schmid Jirí Srba

Published in: Sci. Comput. Program. (2023)

Keyphrases

network model
peer to peer
network structure
databases
communication networks
distributed network
website
case study
social networks
search engine
complex networks
computer networks
artificial intelligence
genetic algorithm
network architecture
network resources
information retrieval