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

Diptendu Chatterjee Prabal Banerjee Subhra Mazumdar

Published in: CoRR (2023)

Keyphrases

dominating set
connected dominating set
facility location problem
theorem prover
facility location
approximation algorithms
neural network
special case
multi objective
structured data
distributed databases
maximum clique