- Titel:
Finding Strategyproof Social Choice Functions via SAT Solving
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Brandt, Felix; Geist, Christian
- Zeitschriftentitel:
- Journal of Artificial Intelligence Research
- Jahr:
- 2016
- Band / Volume:
- 55
- Seitenangaben Beitrag:
- 565-602
- Volltext / DOI:
- doi:10.1613/jair.4959
- Verlag / Institution:
- AI Access Foundation
- E-ISSN:
- 1076-9757
- Publikationsdatum:
- 04.03.2016
- BibTeX