Boas Kluiving

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 2

Top Topics

Orders Of Magnitude

Boolean Satisfiability

Top Venues

Publications

Boas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel, Ulle Endriss
Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. ECAI (2020)
Boas Kluiving, Wijnand van Woerkom
Number representations and term rewriting. CoRR (2016)