Local Search Algorithms for Partial MAXSAT.

Byungki Cha, Kazuo Iwama, Yahiko Kambayashi, Shuichi Miyazaki

Browse the full AAAI paper archive.