Lei, Z.; Cai, S. Solving Set Cover and Dominating Set via Maximum Satisfiability. AAAI 2020, 34, 1569-1576.