TY  - RPRT
TI  - Introducing Clause Cuts: Strong No-Good Cuts for MaxSAT Problems in Mixed Integer Linear Programming
AU  - Max Engelhardt
AU  - Milan Adhikari
AU  - Jonasz Staszek
AU  - Alexander Martin
PY  - 2025
UR  - https://arxiv.org/abs/2509.21687
ID  - 2509.21687
ER  -