36 citations · 57 across the 9 of their papers we have counts for
1 paper · 1 filter
Marco B. Caminati, Manfred Kerber, Christoph Lange +1
Using mechanised reasoning we prove that combinatorial Vickrey auctions are soundly specified in that they associate a unique outcome (allocation and transfers) to any valid input…