Boas Kluiving

According to our database, Boas Kluiving authored at least 2 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

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

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

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2016

Number representations and term rewriting.

Boas Kluiving, Wijnand van Woerkom

CoRR, 2016