TY  - RPRT
TI  - On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting
AU  - Ratip Emin Berker
AU  - Emanuel Tewolde
AU  - Vincent Conitzer
AU  - Mingyu Guo
AU  - Marijn Heule
AU  - Lirong Xia
PY  - 2025
UR  - https://arxiv.org/abs/2512.16895
ID  - 2512.16895
ER  -