The top documents tagged [checkable proofs pcps]

Tight integrality gaps for vertex-cover semidefinite relaxations in the Lovász-Schrijver Hierarchy Avner Magen Joint work with Costis Georgiou, Toni Pitassi
Documents Tight integrality gaps for vertex-cover semidefinite relaxations in the Lovász-Schrijver Hierarchy Avner Magen Joint work with Costis Georgiou, Toni Pitassi

222 views

Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin
Documents Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin

215 views

Probabilistically Checkable Proofs Madhu Sudan MIT CSAIL 09/23/20091Probabilistic Checking of Proofs TexPoint fonts used in EMF. Read the TexPoint manual
Documents Probabilistically Checkable Proofs Madhu Sudan MIT CSAIL 09/23/20091Probabilistic Checking of Proofs TexPoint fonts used in EMF. Read the TexPoint manual

212 views

Umans Complexity Theory Lectures Lecture 15: Approximation Algorithms and Probabilistically Checkable Proofs (PCPs)
Documents Umans Complexity Theory Lectures Lecture 15: Approximation Algorithms and Probabilistically Checkable Proofs (PCPs)

217 views

Making argument systems for outsourced computation practical (sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The
Documents Making argument systems for outsourced computation practical (sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The

230 views

Of 28 Probabilistically Checkable Proofs Madhu Sudan Microsoft Research June 11, 2015TIFR: Probabilistically Checkable Proofs1
Documents Of 28 Probabilistically Checkable Proofs Madhu Sudan Microsoft Research June 11, 2015TIFR: Probabilistically Checkable Proofs1

214 views

Probabilistically Checkable Proofs Madhu Sudan MIT CSAIL
Documents Probabilistically Checkable Proofs Madhu Sudan MIT CSAIL

218 views

Verifying remote executions: from wild implausibility to near practicality
Documents Verifying remote executions: from wild implausibility to near practicality

17 views

Avner Magen Joint work with Costis Georgiou, Toni Pitassi and Iannis Tourlakis
Documents Avner Magen Joint work with Costis Georgiou, Toni Pitassi and Iannis Tourlakis

36 views

Verifying remote executions: from wild implausibility to near practicality
Documents Verifying remote executions: from wild implausibility to near practicality

16 views

Probabilistically Checkable Proofs
Documents Probabilistically Checkable Proofs

38 views

Making argument systems for outsourced computation practical (sometimes)
Documents Making argument systems for outsourced computation practical (sometimes)

33 views