Motivated by markets for television advertising time-slots, we introduce a new combinatorial auction format, including a general method for approximating core-selecting payments for hard problems. Given the size and complexity of ad markets in practice, an enumerative XOR bidding language...