Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving.

Boas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel, Ulle Endriss

Browse the full ECAI paper archive.