External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving

Florian Brandl, Felix Brandt 0001, Manuel Eberl, Christian Geist. Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving. Journal of the ACM, 65(2), 2018. [doi]

Authors

Florian Brandl

This author has not been identified. Look up 'Florian Brandl' in Google

Felix Brandt 0001

This author has not been identified. Look up 'Felix Brandt 0001' in Google

Manuel Eberl

This author has not been identified. Look up 'Manuel Eberl' in Google

Christian Geist

This author has not been identified. Look up 'Christian Geist' in Google
runs on