@article{publication-20196,
	author={Bosshard, Vitor and B{\"u}nz, Benedikt and Lubin, Benjamin and Seuken, Sven},
	doi={10.1613/jair.1.11525},
	issn={1076-9757},
	journal={Journal of Artificial Intelligence Research},
	pages={531-570},
	publisher={AI Access Foundation},
	title={Computing bayes-nash equilibria in combinatorial auctions with verification},
	volume=69,
	year=2020,
}