Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting.

Menghua Jiang, Haokai Gao, Shuhao Chen, Yin Chen

Browse the full ECAI paper archive.