Solving Set Cover and Dominating Set via Maximum Satisfiability.

Zhendong Lei, Shaowei Cai

Browse the full AAAI paper archive.