BandHS

Incorporating Multi-armed Bandit with Local Search for MaxSAT

This repository contains the codes of the BandHS and NuWLS-BandHS algorithms for the MaxSAT proposed in our paper: <br> <br> Incorporating Multi-armed Bandit with Local Search for MaxSAT <br> Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà <br> <br>

Contact

Questions and suggestions can be sent to jzzheng@hust.edu.cn. <br> <br>

Citation

If you find the codes useful, please consider citing the original work by authors: <br>

@misc{zheng2022BandHS,
  author={Jiongzhi Zheng and Kun He and Jianrong Zhou and Yan Jin and Chu-Min Li and Felip Manyà},
  title={Incorporating Multi-armed Bandit with Local Search for MaxSAT},
  journal={CoRR},
  volume={abs/2211.16011},
  year={2022},
  eprint="2211.16011",
  archivePrefix="arXiv"
}