Lectures on Proof Verification and Approximation Algorithms pp 63-82 | Cite as

Proof checking and non-approximability

• Authors
• Authors and affiliations

• Stefan Hougardy

Chapter

First Online: 20 May 2006

• 579 Downloads

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1367)

Keywords

Polynomial Time Truth Assignment Random String 3SAT Instance Proof Check 

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

• Stefan Hougardy

There are no affiliations available