Acm Symp on Theory of Computing