Chrisimos: A useful Proof-of-Work for finding Minimal Dominating Set of a graph.

Diptendu Chatterjee Prabal Banerjee Subhra Mazumdar

Published in: TrustCom (2023)

Keyphrases

dominating set
connected dominating set
facility location problem
facility location
approximation algorithms
theorem prover
graph matching
graph structure