PP-2020-17: Kluiving, Boas and de Vries, Adriaan and Vrijbergen, Pepijn and Boixel, Arthur and Endriss, Ulle (2020) Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. [Pre-print]
MoL-2020-10: Kluiving, Boas (2020) Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods. [Report]