Tailoring Local Search for Partial MaxSAT.

Shaowei Cai, Chuan Luo, John Thornton, Kaile Su

Browse the full AAAI paper archive.