Back to Results
First PageMeta Content
Mathematics / Algebra / Polynomials / Probabilistically checkable proof / Computer algebra / IP / Complex number / MAX-3SAT


COSC 544 Probabilistic Proof SystemsA PCP of Quasilinear Size for Arithmetic Circuit-SAT Lecturer: Justin Thaler
Add to Reading List

Document Date: 2017-11-22 13:48:36


Open Document

File Size: 123,04 KB

Share Result on Facebook