@article{certifiedmaxsatpreprocessing,
  title = {Certified MaxSAT Preprocessing},
  author = {Hannes Ihalainen and Andy Oertel and Yong Kiam Tan and Jeremias Berg and Matti Järvisalo and Jakob Nordström},
  year = {2024},
  eprint = {2404.17316},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2404.17316v1},
}