This repository contains the codes of the SPB-MaxSAT algorithm for the MaxSAT proposed in our paper:
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He
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{zheng2024SPBMaxSAT,
author={Jiongzhi Zheng and Zhuo Chen and Chu-Min Li and Kun He},
title={Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers},
booktitle = {Proceedings of the 33rd International Joint Conference on Artificial Intelligence},
year={2024},
}