Login / Signup
Adriaan de Vries
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Sat Solving
Social Choice
Information Retrieval Systems
Boolean Satisfiability
Top Venues
ECAI
</>
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)