On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting
在核心(非)空集边缘:一种基于自动推理的批准型多胜者投票方法
AI总结 本文提出了一种基于混合整数线性规划的方法,用于确定多胜者投票中核心稳定委员会的存在性,并揭示了核心稳定性与其他属性之间的关系。
Comments 29 pages, 1 figure, main body to be published in Proceedings of the Fortieth AAAI Conference on Artificial Intelligence (AAAI-26), Singapore, 2026