Local Search Algorithms for Partial MAXSAT (1997)

by Byungki Cha, Kazuo Iwama, Yahiko Kambayashi, Shuichi Miyazaki
Venue:In AAAI/IAAI