Опубликованный пакет / CLIR
razborov_rudich.natural_proofs_1994
v0.1.0Razborov, Rudich (1994/1997): natural proofs — constructivity and largeness together, conditional barrier under a pseudorandom generator assumption, plus an unconditional discrete-log-specific result
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| Изложение результата Razborov-Rudich 1994/1997 о natural proofs | RR-EXPOSITION-1 | 1 | 1 |