@misc{indiciaead2580bcf70d,
  title = {Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis},
  author = {Furong Ye and Chuan Luo and Shaowei Cai},
  year = {2025},
  doi = {10.1609/aaai.v39i25.34923},
  url = {https://arxiv.org/abs/2403.06568},
  note = {Source identifier: 2403.06568}
}