EIU-MaxSAT: Optimizing Local Search for (Weighted) Partial MaxSAT via Effective Information Utilization.

Zhaojin Zhong, Menghua Jiang, Yin Chen

Browse the full KSEM paper archive.