Y. Zhao, Y. Xiang, J. Li, Y. Wang, and M. Yin, “Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection Heuristics”, AAAI, vol. 40, no. 17, pp. 14405–14413, Mar. 2026.