TY  - RPRT
TI  - Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting
AU  - Menghua Jiang
AU  - Haokai Gao
AU  - Shuhao Chen
AU  - Yin Chen
PY  - 2025
UR  - https://arxiv.org/abs/2512.05619
ID  - 2512.05619
ER  -