Devriendt, J., 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”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 5, May 2021, pp. 3750-8, doi:10.1609/aaai.v35i5.16492.