Ich lese Impagliazzo und Wigdersons berühmtes Papier aus dem Jahr 1997. Da ich neu in diesem Bereich bin und das Papier eine prägnante Konferenzversion ist, habe ich Schwierigkeiten, ihren Beweisen zu folgen. Insbesondere fehlen einigen ihrer neuen Sätze Beweise. Nach meinem besten Wissen wurde keine Journalversion veröffentlicht.
Ich suche nach Ressourcen, aus denen ich ihr Ergebnis lernen kann, vorzugsweise solche mit formalen Beweisen. Ich wäre Ihnen sehr dankbar, wenn Sie mir solche Ressourcen mitteilen könnten.