Devriendt J, Gocht S, Demirović E, Nordström J, Stuckey PJ. Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. AAAI [Internet]. 2021May18 [cited 2024Jul.17];35(5):3750-8. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/16492