Improving Local Search for Weighted Partial MaxSAT by Initializing with Historical Information.

Menghua Jiang, Rui Zhang, Yin Chen

Browse the full COCOON paper archive.