Zhao, Y.; Xiang, Y.; Li, J.; Wang, Y.; Yin, M. Improving Exact Algorithm for Pseudo Boolean Optimization With Two New Phase Selection Heuristics. AAAI 2026, 40, 14405-14413.