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]
PP-2020-15: Boixel, Arthur and Endriss, Ulle (2020) Automated Justification of Collective Decisions via Constraint Solving. [Pre-print]