×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
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
223 views
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
214 views
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
231 views
Of 28 Probabilistically Checkable Proofs Madhu Sudan Microsoft Research June 11, 2015TIFR: Probabilistically Checkable Proofs1
215 views
Probabilistically Checkable Proofs Madhu Sudan MIT CSAIL
218 views
Verifying remote executions: from wild implausibility to near practicality
17 views
Avner Magen Joint work with Costis Georgiou, Toni Pitassi and Iannis Tourlakis
38 views
Probabilistically Checkable Proofs
39 views
Making argument systems for outsourced computation practical (sometimes)
35 views
Making proof-based verified computation almost practical
32 views
Next >