TY  - RPRT
TI  - Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
AU  - Jiongzhi Zheng
AU  - Zhuo Chen
AU  - Chu-Min Li
AU  - Kun He
PY  - 2024
UR  - https://arxiv.org/abs/2401.10589
ID  - 2401.10589
ER  -