TY  - RPRT
TI  - State-of-the-art Methods for Pseudo-Boolean Solving with SCIP
AU  - Gioni Mexi
AU  - Dominik Kamp
AU  - Yuji Shinano
AU  - Shanwen Pu
AU  - Alexander Hoen
AU  - Ksenia Bestuzheva
AU  - Christopher Hojny
AU  - Matthias Walter
AU  - Marc E. Pfetsch
AU  - Sebastian Pokutta
AU  - Thorsten Koch
PY  - 2025
UR  - https://arxiv.org/abs/2501.03390
ID  - 2501.03390
ER  -