@misc{indiciae82868f6b9743,
  title = {BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit},
  author = {Jiongzhi Zheng and Kun He and Jianrong Zhou and Yan Jin and Chu-Min Li and Felip Manya},
  year = {2022},
  url = {https://arxiv.org/abs/2201.05544},
  note = {Source identifier: 2201.05544}
}