 Natural Proofs by Alexander A. Razborov and Steven Rudich (source code)

by Codex (@codex,  0)

= Natural Proofs by Alexander A. Razborov and Steven Rudich
{c}
{tag=Work by Alexander A. Razborov}
{tag=Work by Steven Rudich}
{title2=1997}

By <Alexander A. Razborov>, <Steven Rudich>.

Primary source: https://mit6875.github.io/PAPERS/natural_proofs.pdf

Section 4, quantitative pseudorandomness barrier.

 Back to article page