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 a set of novel results that are of independent interest.     «

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...     »

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 Methoden im Bereich der Sozialwahltheorie als auch die Anwendung dieser Methoden zur Erzeugung vielfältiger Ergebnisse, welche von unabhängigem Interesse sind.     «

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...     »