Geist, Christian

5 publications

JAIR 2019 Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer

JAIR 2016 Finding Strategyproof Social Choice Functions via SAT Solving Felix Brandt, Christian Geist

IJCAI 2016 Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving Florian Brandl, Felix Brandt, Christian Geist

IJCAI 2015 Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer

JAIR 2011 Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects Christian Geist, Ulrich Endriss