Home > Research > Publications & Outputs > VCG-combinatorial Vickrey-clarke-groves auctions
View graph of relations

VCG-combinatorial Vickrey-clarke-groves auctions

Research output: Contribution to Journal/MagazineJournal articlepeer-review

Published

Standard

VCG-combinatorial Vickrey-clarke-groves auctions. / Caminati, Marco B; Kerber, Manfred; Lange-Bever, Christoph et al.
In: Archive of Formal Proofs, 30.04.2015.

Research output: Contribution to Journal/MagazineJournal articlepeer-review

Harvard

APA

Vancouver

Caminati MB, Kerber M, Lange-Bever C, Rowat C. VCG-combinatorial Vickrey-clarke-groves auctions. Archive of Formal Proofs. 2015 Apr 30.

Author

Caminati, Marco B ; Kerber, Manfred ; Lange-Bever, Christoph et al. / VCG-combinatorial Vickrey-clarke-groves auctions. In: Archive of Formal Proofs. 2015.

Bibtex

@article{894f04e01f64454cb7979f0734cf324a,
title = "VCG-combinatorial Vickrey-clarke-groves auctions",
abstract = "A VCG auction (named after their inventors Vickrey, Clarke, and Groves) is a generalization of the single-good, second price Vickrey auction to the case of a combinatorial auction (multiple goods, from which any participant can bid on each possible combination). We formalize in this entry VCG auctions, including tie-breaking and prove that the functions for the allocation and the price determination are well-defined. Furthermore we show that the allocation function allocates goods only to participants, only goods in the auction are allocated, and no good is allocated twice. We also show that the price function is non-negative. These properties also hold for the automatically extracted Scala code.",
author = "Caminati, {Marco B} and Manfred Kerber and Christoph Lange-Bever and Colin Rowat",
year = "2015",
month = apr,
day = "30",
language = "English",
journal = "Archive of Formal Proofs",

}

RIS

TY - JOUR

T1 - VCG-combinatorial Vickrey-clarke-groves auctions

AU - Caminati, Marco B

AU - Kerber, Manfred

AU - Lange-Bever, Christoph

AU - Rowat, Colin

PY - 2015/4/30

Y1 - 2015/4/30

N2 - A VCG auction (named after their inventors Vickrey, Clarke, and Groves) is a generalization of the single-good, second price Vickrey auction to the case of a combinatorial auction (multiple goods, from which any participant can bid on each possible combination). We formalize in this entry VCG auctions, including tie-breaking and prove that the functions for the allocation and the price determination are well-defined. Furthermore we show that the allocation function allocates goods only to participants, only goods in the auction are allocated, and no good is allocated twice. We also show that the price function is non-negative. These properties also hold for the automatically extracted Scala code.

AB - A VCG auction (named after their inventors Vickrey, Clarke, and Groves) is a generalization of the single-good, second price Vickrey auction to the case of a combinatorial auction (multiple goods, from which any participant can bid on each possible combination). We formalize in this entry VCG auctions, including tie-breaking and prove that the functions for the allocation and the price determination are well-defined. Furthermore we show that the allocation function allocates goods only to participants, only goods in the auction are allocated, and no good is allocated twice. We also show that the price function is non-negative. These properties also hold for the automatically extracted Scala code.

M3 - Journal article

JO - Archive of Formal Proofs

JF - Archive of Formal Proofs

ER -