R. E. Berker, E. Tewolde, V. Conitzer, M. Guo, M. Heule, and L. Xia, “On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting”, AAAI, vol. 40, no. 20, pp. 16673–16681, Mar. 2026.