Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection Heuristics. - Yujiao Zhao; Yizhan Xiang; Jiangnan Li; Yiyuan Wang 002; Minghao Yin (AAAI, 2026)