Solving Set Cover and Dominating Set via Maximum Satisfiability

Publication
AAAI2020