Trade-Offs in Distributed Interactive Proofs.
Pierluigi CrescenziPierre FraigniaudAmi PazPublished in: DISC (2019)
Keyphrases
- trade off
- distributed environment
- distributed systems
- data sets
- theorem proving
- user interaction
- cooperative
- multi agent
- case study
- search algorithm
- mobile agents
- distributed computing
- information systems
- social networks
- learning algorithm
- lightweight
- computer graphics
- user friendly
- neural network
- database
- distributed network
- formal proof