Parallel Local Search for MaxSAT with Solutions and Score Functions Co-evolving.

Mengchuan Zou, Peng Lin, Yi Chu, Shaowei Cai

Browse the full PPSN paper archive.