@article{betterunderstandingsandconfigurationsin,
  title = {Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis},
  author = {Furong Ye and Chuan Luo and Shaowei Cai},
  year = {2024},
  eprint = {2403.06568},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2403.06568v1},
}