Christian Geist

18 papers A* 2A 4Journal 11
YearRankTypeTitle / Venue / Authors
2019 J jnl
Strategic Abstention based on Preference Extensions: Positive Results and Computer-Generated Impossibilities.
J. Artif. Intell. Res.
Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer
2018 J jnl
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.
J. ACM
Florian Brandl, Felix Brandt, Manuel Eberl, Christian Geist
2017 J jnl
Optimal bounds for the no-show paradox via SAT solving.
Math. Soc. Sci.
Felix Brandt, Christian Geist, Dominik Peters
2017 J jnl
k-Majority Digraphs and the Hardness of Voting with a Constant Number of Voters.
CoRR
Georg Bachmeier, Felix Brandt, Christian Geist, Paul Harrenstein, Keyvan Kardel, Dominik Peters, Hans Georg Seedig
2016 J jnl
A note on the McKelvey uncovered set and Pareto optimality.
Soc. Choice Welf.
Felix Brandt, Christian Geist, Paul Harrenstein
2016 A conf
Analyzing the Practical Relevance of Voting Paradoxes via Ehrhart Theory, Computer Simulations, and Empirical Data.
AAMAS
Felix Brandt, Christian Geist, Martin Strobel
2016 J jnl
Finding Strategyproof Social Choice Functions via SAT Solving.
J. Artif. Intell. Res.
Felix Brandt, Christian Geist
2016 — —
Generating Insights in Social Choice Theory via Computer-aided Methods.
Christian Geist
2016 A conf
Optimal Bounds for the No-Show Paradox via SAT Solving.
AAMAS
Felix Brandt, Christian Geist, Dominik Peters
2016 J jnl
Optimal Bounds for the No-Show Paradox via SAT Solving.
CoRR
Felix Brandt, Christian Geist, Dominik Peters
2016 A* conf
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.
IJCAI
Florian Brandl, Felix Brandt, Christian Geist
2016 J jnl
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.
CoRR
Florian Brandl, Felix Brandt, Christian Geist
2015 A conf
Pnyx: : A Powerful and User-friendly Tool for Preference Aggregation.
AAMAS
Felix Brandt, Guillaume Chabin, Christian Geist
2015 A* conf
Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities.
IJCAI
Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer
2014 J jnl
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
CoRR
Christian Geist, Ulle Endriss
2014 J jnl
Finding Preference Profiles of Condorcet Dimension $k$ via SAT.
CoRR
Christian Geist
2014 A conf
Finding strategyproof social choice functions via SAT solving.
AAMAS
Felix Brandt, Christian Geist
2011 J jnl
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
J. Artif. Intell. Res.
Christian Geist, Ulrich Endriss