@misc{indiciaef0d6cba8b127,
  title = {State-of-the-art Methods for Pseudo-Boolean Solving with SCIP},
  author = {Gioni Mexi and Dominik Kamp and Yuji Shinano and Shanwen Pu and Alexander Hoen and Ksenia Bestuzheva and Christopher Hojny and Matthias Walter and Marc E. Pfetsch and Sebastian Pokutta and Thorsten Koch},
  year = {2025},
  url = {https://arxiv.org/abs/2501.03390},
  note = {Source identifier: 2501.03390}
}