Redundancy in distributed proofs - Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor (Distributed computing, 2021)
Keywords: Algorithms; Boolean algebra; Computer Communication Networks; Computer Hardware; Computer Science; Computer Systems Organization and Communication Networks; Data Structures and Algorithms; Distributed, Parallel, and Cluster Computing; Graph theory; Nodes; Redundancy; Software Engineering/Programming and Operating Systems; Theory of Computation; Distributed graph algorithms; Proof-labeling schemes; Space-time tradeoffs; Distributed verification; Nondeterminism