The top documents tagged [fewer proof bits]

Probabilistically Checkable Proofs (and inapproximability) Irit Dinur, Weizmann open day, May 1 st 2009.

---

224 views