Session Vickrey_Clarke_Groves
View
theory dependencies
View
document
View
outline
Theories
SetUtils
Partitions
Argmax
RelationOperators
RelationProperties
MiscTools
StrictCombinatorialAuction
Universes
UniformTieBreaking
CombinatorialAuction
CombinatorialAuctionCodeExtraction
FirstPrice
CombinatorialAuctionExamples