Zhao, Yujiao, Yizhan Xiang, Jiangnan Li, Yiyuan Wang, and Minghao Yin. “Improving Exact Algorithm for Pseudo Boolean Optimization With Two New Phase Selection Heuristics”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 17 (March 14, 2026): 14405–14413. Accessed May 14, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/38456.