Distributed Maximum Matching Verification in CONGEST.

Mohamad Ahmadi Fabian Kuhn

Published in: DISC (2020)

Keyphrases

maximum matching
bipartite graph
cooperative
distributed systems
peer to peer
stable set
distributed data
distributed environment
multi agent
evolutionary algorithm
computing environments
formal verification
neural network
genetic algorithm
model checking