Devriendt, J.; Gocht, S.; Demirović, E.; Nordström, J.; Stuckey, P. J. Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search With Cutting Planes Reasoning. AAAI 2021, 35, 3750-3758.