Computer assisted proof of optimal approximability results.

Uri Zwick

Browse the full SODA paper archive.