We model a spectrum auction where firms purchase units to participate in a constrained, multi-product, downstream market. We use dynamic programming techniques to numerically solve for the optimal bidding strategy in a clock auction. Firms value constraining competitor market power, so...