Theorem 3.2 — clause-based rounding is a $1/(1-(1-1/n)^n)$-approximation for XOS bidders

Initializing...

Theorem 3.2 — clause-based rounding is a $1/(1-(1-1/n)^n)$-approximation for XOS bidders · Prove2Me