Towards Synthesis of Distributed Algorithms with SMT Solvers.
Carole Delporte-GalletHugues FauconnierYan JurskiFrançois LaroussinieArnaud SangnierPublished in: NETYS (2019)
Keyphrases
- learning algorithm
- computational complexity
- data structure
- cooperative
- theoretical analysis
- computationally efficient
- peer to peer
- computational efficiency
- search space
- distributed computation
- distributed environment
- combinatorial optimization
- orders of magnitude
- distributed systems
- evolutionary algorithm
- neural network
- multi agent
- objective function
- decision trees
- information retrieval
- data mining