J. Devriendt, S. Gocht, E. Demirović, J. Nordström, and P. J. Stuckey, “Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning”, AAAI, vol. 35, no. 5, pp. 3750-3758, May 2021.