Pages that link to "Item:Q475377"
From MaRDI portal
The following pages link to Automated reasoning in social choice theory: some remarks (Q475377):
Displaying 5 items.
- An introduction to mechanized reasoning (Q504394) (← links)
- Computer-aided proofs of Arrow's and other impossibility theorems (Q840816) (← links)
- Formalizing Arrow's theorem (Q1040010) (← links)
- Optimal bounds for the no-show paradox via SAT solving (Q1680092) (← links)
- Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects (Q3081450) (← links)