@misc{indiciaedca3958a31a9,
  title = {On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting},
  author = {Ratip Emin Berker and Emanuel Tewolde and Vincent Conitzer and Mingyu Guo and Marijn Heule and Lirong Xia},
  year = {2025},
  url = {https://arxiv.org/abs/2512.16895},
  note = {Source identifier: 2512.16895}
}