HomeSearchLibrary
Dominating set problem | OmniWiki