Proving soundness of combinatorial Vickrey auctions and generating verified executable code
Proving soundness of combinatorial Vickrey auctions and generating verified executable code
复制标题
证明组合维克里拍卖的健全性并生成经过验证的可执行代码
DOI：
10.48550/arxiv.1308.1779
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Caminati Marco B.
中科院分区：
文献类型：
--
作者：
Caminati Marco B.
登录
查看更多内容
DOI：
10.1007/0-306-47568-5_10
发表时间：
2002
期刊：
--
影响因子：
--
作者：
William Samuelson
通讯作者：
William Samuelson
DOI：
10.1007/978-3-540-93920-7_13
发表时间：
2008
期刊：
Eng. Appl. Artif. Intell.
影响因子：
--
作者：
E. Tadjouddine;Frank Guerin;W. Vasconcelos
通讯作者：
W. Vasconcelos
组合拍卖的测试套件
DOI：
10.7551/mitpress/9780262033428.003.0019
发表时间：
2005
期刊：
Eng. Appl. Artif. Intell.
影响因子：
--
作者：
Kevin Leyton;Y. Shoham
通讯作者：
Y. Shoham
四个定理证明者对基本拍卖理论适用性的定性比较
DOI：
10.1007/978-3-642-39320-4_13
发表时间：
2013
期刊：
arXiv: Metric Geometry
影响因子：
--
作者：
C. Lange;M. Caminati;Manfred Kerber;Till Mossakowski;C. Rowat;M. Wenzel;W. Windsteiger
通讯作者：
W. Windsteiger
影响因子：
1.9
作者：
Loizos Michael;D. Parkes;Avi Pfeffer
通讯作者：
Avi Pfeffer