Identifiers in Registers - Describing Network Algorithms with Logic.
Benedikt BolligPatricia BouyerFabian ReiterPublished in: CoRR (2018)
Keyphrases
- orders of magnitude
- benchmark datasets
- neural network
- computational complexity
- network management
- logic programming
- communication cost
- shortest path algorithm
- database
- network architecture
- network model
- communication networks
- computer networks
- complex networks
- data mining algorithms
- worst case
- significant improvement