Corollary 5.8 — under truthfulness, putting ∞ outside every agent's optimal tasks does not lower the chosen make-span

Initializing...

Corollary 5.8 — under truthfulness, putting ∞ outside every agent's optimal tasks does not lower the chosen make-span · Prove2Me