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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Berker, Ratip Emin, Tewolde, Emanuel, Conitzer, Vincent, Guo, Mingyu, Heule, Marijn, Xia, Lirong
Format:	Preprint
Published:	2025
Subjects:	Computer Science and Game Theory 91B12, 91B14, 68Q25, 68T01, 68V05, 90C11 F.2; I.2; J.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2512.16895