R
andomised_
S
ocial_
C
hoice
Order_Predicates
Preference_Profiles
Elections
Lotteries
Utility_Functions
Stochastic_Dominance
SD_Efficiency
Social_Decision_Schemes
SDS_Lowering
Random_Dictatorship
Random_Serial_Dictatorship
Randomised_Social_Choice
Preference_Profile_Cmd
QSOpt_Exact
SDS_Automation