Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving
From MaRDI portal
Publication:4999218
DOI10.3233/FAIA200085zbMath1464.91048OpenAlexW3090281079MaRDI QIDQ4999218
Pepijn Vrijbergen, Boas Kluiving, Adriaan de Vries, Ulle Endriss, Arthur Boixel
Publication date: 6 July 2021
Full work available at URL: https://dblp.uni-trier.de/db/conf/ecai/ecai2020.html#KluivingVVBE20
Voting theory (91B12) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (4)
The excess method: a multiwinner approval voting procedure to allocate wasted votes ⋮ The maximin support method: an extension of the d'Hondt method to approval-based multiwinner elections ⋮ Consistent approval-based multi-winner rules ⋮ Utilitarian welfare and representation guarantees of approval-based multiwinner rules
This page was built for publication: Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving
