State-of-the-art Methods for Pseudo-Boolean Solving with SCIP
Arbeits- / Diskussionspapier
› 2025
Mexi, Gioni; Kamp, Dominik; Shinano, Yuji; Pu, Shanwen; Hoen, Alexander; Bestuzheva, Ksenia; Hojny, Christopher; Walter, Matthias; E., Marc; Pokutta, Sebastian; Koch, Thorsten: State-of-the-art Methods for Pseudo-Boolean Solving with SCIP. Hg. von arXiv. Cornell: 2025, S. 1-20.
10.48550/arXiv.2501.03390.
https://arxiv.org/abs/2501.03390
Englisch
BibTeX /