@misc{indiciae8817d09137ea,
  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},
  url = {https://arxiv.org/abs/2404.17316},
  note = {Source identifier: 2404.17316}
}