Zheng et al. "Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Zheng et al. "Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/zheng2024ijcai-rethinking/)
BibTeX
@inproceedings{zheng2024ijcai-rethinking,
title = {{Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers}},
author = {Zheng, Jiongzhi and Chen, Zhuo and Li, Chu-Min and He, Kun},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {1989-1997},
url = {https://mlanthology.org/ijcai/2024/zheng2024ijcai-rethinking/}
}