作者位次 #5/6AAAI 2026Poster· Artificial Intelligence
On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting
Ratip Emin Berker · Emanuel Tewolde · Vincent Conitzer · Mingyu Guo · Marijn Heule · Lirong Xia