. . "Pich, J\u00E1n" . . . . . . "Nisan-Wigderson generatos in proof systems with forms of interpolation" . . "interpolation; forms; with; systems; proof; generatos; Nisan-Wigderson"@en . "[011E8C43B5E6]" . "RIV/00216208:11320/11:10105727" . "0942-5616" . "GB - Spojen\u00E9 kr\u00E1lovstv\u00ED Velk\u00E9 Brit\u00E1nie a Severn\u00EDho Irska" . "Nisan-Wigderson generatos in proof systems with forms of interpolation"@en . . "5"^^ . "10.1002/malq.201010012" . "216055" . . "Mathematical Logic Quarterly" . . "4" . . "11320" . "Nisan-Wigderson generatos in proof systems with forms of interpolation" . . "1"^^ . . "We prove that the Nisan-Wigderson generators based on computationally hard functions and suitable matrices are hard for propositional proof systems that admit feasible interpolation." . . . "I" . "57" . "Nisan-Wigderson generatos in proof systems with forms of interpolation"@en . "RIV/00216208:11320/11:10105727!RIV12-MSM-11320___" . . . "1"^^ . "We prove that the Nisan-Wigderson generators based on computationally hard functions and suitable matrices are hard for propositional proof systems that admit feasible interpolation."@en . .