Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting (Q6494745)
From MaRDI portal
scientific article; zbMATH DE number 7840402
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting |
scientific article; zbMATH DE number 7840402 |
Statements
Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting (English)
0 references
30 April 2024
0 references
social choice theory
0 references
voting
0 references
expansion consistency
0 references
impossibility theorems
0 references
SAT solving
0 references
formal verification
0 references
