This repository contains the codes of the BandHS and NuWLS-BandHS algorithms for the MaxSAT proposed in our paper:
Incorporating Multi-armed Bandit with Local Search for MaxSAT
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà
Questions and suggestions can be sent to jzzheng@hust.edu.cn.
If you find the codes useful, please consider citing the original work by authors:
@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"
}