@misc{indiciae4cb133e5284d,
  title = {Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting},
  author = {Menghua Jiang and Haokai Gao and Shuhao Chen and Yin Chen},
  year = {2025},
  url = {https://arxiv.org/abs/2512.05619},
  note = {Source identifier: 2512.05619}
}