Voting by eliminating quantifiers
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1302020 (Why is no real title available?)
- scientific article; zbMATH DE number 1303431 (Why is no real title available?)
- scientific article; zbMATH DE number 803291 (Why is no real title available?)
- Computing circumscription revisited: A reduction algorithm
- Handbook of social choice and welfare. Vol. 1.
- On the Fixpoint Theory of Equality and Its Applications
- Report of the third QBF solvers evaluation
- Second-order quantifier elimination. Foundations, computational aspects and applications
- Social choice and individual values
- The paradox of multiple elections
- The state of SAT
- Tournament solutions and majority voting
- Untersuchungen über das Eliminationsproblem der mathematischen Logik
Cited in
(1)
This page was built for publication: Voting by eliminating quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1037605)