On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting

Published in Association for the Advancement of Artificial Intelligence (AAAI) 2026, 2026