TY  - RPRT
TI  - Certified MaxSAT Preprocessing
AU  - Hannes Ihalainen
AU  - Andy Oertel
AU  - Yong Kiam Tan
AU  - Jeremias Berg
AU  - Matti Järvisalo
AU  - Jakob Nordström
PY  - 2024
UR  - https://arxiv.org/abs/2404.17316
ID  - 2404.17316
ER  -