This repository contains the code to the BandMaxSAT algorithm for the MaxSAT proposed in our paper:
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit (IJCAI 2022)
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà
On a Unix/Linux machine execute the following commands:
unzip BandMaxSAT-main.zip
cd BandMaxSAT-main
make
An executable file called BandMaxSAT will now be available in the directory BandMaxSAT-main.
Then enter the command ./BandMaxSAT instance_name, to run the algorithm.
For BandMaxSAT-c, we refer to the DT-HyWalk solver submitted to MSE 2022 (available at https://maxsat-evaluations.github.io/2022/mse22-solver-src/incomplete/DT-HyWalk.zip). Fix the variable selected_strategy to 3 in files MaxSAT.cc and Alg_LinearSU_Clustering.cc in DT-HyWalk results in an implementation of BandMaxSAT-c.
Questions and suggestions can be sent to jzzheng@hust.edu.cn.
If you find this code useful, please consider citing the original work by authors:
@inproceedings{zheng2022BandMaxSAT,
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 Manyà},
booktitle={The Thirty-First International Joint Conference on Artificial Intelligence},
page={1901--1907},
year={2022}
}