Berker, R. E., Tewolde, E., Conitzer, V., Guo, M., Heule, M., & Xia, L. (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), 16673–16681. https://doi.org/10.1609/aaai.v40i20.38709