Berker, R. E. (2026) “On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(20), pp. 16673–16681. doi: 10.1609/aaai.v40i20.38709.