Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving

von Kluiving, Boas
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)