<--- Back to Details
First PageDocument Content
Computational complexity theory / Complexity classes / Theory of computation / NP / Probabilistically checkable proof / IP / Proof of knowledge / Reduction / NC / Craig interpolation / EXPTIME / Combinatory logic
Date: 2017-08-28 19:17:10
Computational complexity theory
Complexity classes
Theory of computation
NP
Probabilistically checkable proof
IP
Proof of knowledge
Reduction
NC
Craig interpolation
EXPTIME
Combinatory logic

Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems∗ Eli Ben-Sasson† Alessandro Chiesa†

Add to Reading List

Source URL: web.eecs.umich.edu

Download Document from Source Website

File Size: 2,29 MB

Share Document on Facebook

Similar Documents

Noname manuscript No. (will be inserted by the editor) On Recursion-free Horn Clauses and Craig Interpolation ¨ Philipp Rummer

Noname manuscript No. (will be inserted by the editor) On Recursion-free Horn Clauses and Craig Interpolation ¨ Philipp Rummer

DocID: 1uzp5 - View Document

Craig Interpolation in SAT and SMT Philipp Rümmer Uppsala University

Craig Interpolation in SAT and SMT Philipp Rümmer Uppsala University

DocID: 1tTGL - View Document

Wavelets and Image Compression  Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr

Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr

DocID: 1rrBs - View Document

Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015  Abstract

Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract

DocID: 1ripK - View Document

Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN

Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN

DocID: 1qUJs - View Document