Redundancy in Distributed Proofs.
Laurent FeuilloleyPierre FraigniaudJuho HirvonenAmi PazMor PerryPublished in: DISC (2018)
Keyphrases
- multi agent
- cooperative
- theorem prover
- formal proofs
- decision procedures
- search algorithm
- distributed data
- distributed systems
- fault tolerant
- communication cost
- distributed environment
- distributed network
- communication overhead
- loosely coupled
- distributed computing
- distributed database systems
- information content
- data sets
- mobile agents
- query processing
- relational databases
- image sequences
- website
- information systems
- genetic algorithm