Pages that link to "Item:Q2512655"
From MaRDI portal
The following pages link to Combinatorial auctions with verification are tractable (Q2512655):
Displaying 8 items.
- Heterogeneous facility location without money (Q290519) (← links)
- Combinatorial auctions without money (Q521808) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)
- Mechanisms with Monitoring for Truthful RAM Allocation (Q3460805) (← links)
- Combinatorial Auctions with Verification Are Tractable (Q3586382) (← links)
- The Power of Verification for Greedy Mechanism Design (Q4580271) (← links)
- Obviously Strategyproof Mechanisms for Machine Scheduling. (Q5075789) (← links)
- Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification (Q5130014) (← links)