Back to Results
First PageMeta Content
Mathematics / Complexity classes / Randomized algorithms / IP / Probabilistically checkable proof / NP / NEXPTIME / Soundness / Variable / Interactive proof system / Proof of knowledge


COSC 544 Probabilistic Proof SystemsA State of the Art MIP For Circuit Satisfiability Lecturer: Justin Thaler
Add to Reading List

Document Date: 2017-10-16 18:20:55


Open Document

File Size: 127,88 KB

Share Result on Facebook
UPDATE