PP-2020-17: Boas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel, Ulle Endriss Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving 1.Full Text, 2.Abstract. < Back