Pages that link to "Item:Q2794662"
From MaRDI portal
The following pages link to Finding Strategyproof Social Choice Functions via SAT Solving (Q2794662):
Displaying 14 items.
- An introduction to mechanized reasoning (Q504394) (← links)
- Universal Pareto dominance and welfare for plausible utility functions (Q745015) (← links)
- Set-monotonicity implies Kelly-strategyproofness (Q904832) (← links)
- On the tradeoff between efficiency and strategyproofness (Q1651219) (← links)
- Optimal bounds for the no-show paradox via SAT solving (Q1680092) (← links)
- Strategy-proofness of scoring allocation correspondences for indivisible goods (Q1707112) (← links)
- Manipulability in a group activity selection problem (Q2417416) (← links)
- Strategyproof social choice when preferences and outcomes may contain ties (Q2673159) (← links)
- (Q3384086) (← links)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← links)
- Individually Rational Strategy-Proof Social Choice with Exogenous Indifference Sets (Q4571145) (← links)
- A note on the McKelvey uncovered set and Pareto optimality (Q5964644) (← links)
- Characterizing the top cycle via strategyproofness (Q6076911) (← links)
- Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting (Q6494745) (← links)
