Solving Set Cover and Dominating Set via Maximum Satisfiability

出版物
AAAI2020