Advertisement

Proof checking and non-approximability

  • Stefan Hougardy
Chapter
  • 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • Stefan Hougardy

There are no affiliations available

Personalised recommendations