Restricted Truthful Combinatorial Auction Mechanisms
暂无分享,去创建一个
[1] David Detlefs,et al. Simplify: a theorem prover for program checking , 2005, JACM.
[2] Noam Nisan,et al. Truthful approximation mechanisms for restricted combinatorial auctions , 2008, Games Econ. Behav..
[3] Anna R. Karlin,et al. Competitive auctions , 2006, Games Econ. Behav..