@misc{indiciae4da4d5650181,
  title = {Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers},
  author = {Jiongzhi Zheng and Kun He and Jianrong Zhou},
  year = {2022},
  url = {https://arxiv.org/abs/2108.09988},
  note = {Source identifier: 2108.09988}
}