TY  - RPRT
TI  - Integer Linear Programming Preprocessing for Maximum Satisfiability
AU  - Jialu Zhang
AU  - Chu-Min Li
AU  - Sami Cherif
AU  - Shuolin Li
AU  - Zhifei Zheng
PY  - 2026
DO  - 10.1109/ictai66417.2025.00061
UR  - https://arxiv.org/abs/2506.06216
ID  - 2506.06216
ER  -