User: Guest  Login
Original title:
Generating Insights in Social Choice Theory via Computer-aided Methods 
Translated title:
Erkenntnisgewinn in der Sozialwahltheorie durch computerunterstützte Methoden 
Year:
2016 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Brandt, Felix (Prof. Dr.) 
Referee:
Brandt, Felix (Prof. Dr.); Nipkow, Tobias (Prof., Ph.D.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
TUM classification:
MAT 920d; WIR 523d 
Abstract:
The rise of computational social choice indicates that a computer-science perspective can contribute to our understanding of collective decision making. In this thesis, we show how substantial insights can be achieved via computer-aided methods that are based on powerful solving techniques, such as SAT and SMT (satisfiability modulo theories). Our contribution is twofold: first and foremost, we provide such methods for the domain of social choice theory, and, second, use these methods to obtain...    »
 
Translated abstract:
Der Aufstieg des Forschungsgebiets "Computational Social Choice" deutet an, dass eine informatische Perspektive einen wesentlichen Beitrag zum Verständnis kollektiver Entscheidungsfindung leisten kann. In dieser Dissertation zeigen wir auf, wie wesentliche Erkenntnisse mithilfe computerunterstützter Methoden, die wiederum auf mächtigen Lösungsverfahren wie SAT und SMT ("Satisfiability Modulo Theories") basieren, generiert werden können. Unser Beitrag umfasst sowohl die Entwicklung solcher Method...    »
 
Oral examination:
06.09.2016 
File size:
4981329 bytes 
Pages:
178 
Last change:
23.09.2016 
versions