Sto leggendo il famoso articolo Impagliazzo e Wigderson nel 1997. Da quando sono nuovo in questo campo e il documento è una versione concisa della conferenza, ho difficoltà a seguire le loro prove. In particolare, alcuni dei loro nuovi teoremi mancano di prove. Per quanto ne so, non è stata pubblicata una versione ufficiale.
Sto cercando risorse dalle quali posso imparare il loro risultato, preferibilmente quelli con prove formali. Le sarei molto grato se potesse parlarmi di tali risorse.