69 citations · 71 across the 2 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.MA2014★ 2 cited
Finding Preference Profiles of Condorcet Dimension via SAT
Christian Geist
Condorcet winning sets are a set-valued generalization of the well-known concept of a Condorcet winner. As supersets of Condorcet winning sets are always Condorcet winning sets the…
cs.AI2014★ 69 cited
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
Christian Geist, Ulle Endriss
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets of…