Berker, R. E.; Tewolde, E.; Conitzer, V.; Guo, M.; Heule, M.; Xia, L. On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting. AAAI 2026, 40, 16673-16681.