Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540642015, 9783540697015

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deriving non-approximability results by reductions

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053018 ◽

1998 ◽

pp. 213-233

Author(s):

Claus Rick ◽

Hein Röhrig

Download Full-text

Optimal non-approximability of MaxClique

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053019 ◽

1998 ◽

pp. 235-248

Author(s):

Mastin Mundhenk ◽

Anna Slobodová

Download Full-text

Proving the PCP-Theorem

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053015 ◽

1998 ◽

pp. 83-160 ◽

Author(s):

Volker Heun ◽

Wolfgang Merkle ◽

Ulrich Weigand

Keyword(s):

Download Full-text

Bounds for approximating MaxLinEq3-2 and MaxEkSat

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053017 ◽

1998 ◽

pp. 179-211

Author(s):

Sebastian Seibert ◽

Thomas Wilke

Download Full-text

The hardness of approximating set cover

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053020 ◽

1998 ◽

pp. 249-262

Author(s):

Alexander Wolff

Keyword(s):

Download Full-text

Introduction to the theory of complexity and approximation algorithms

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053011 ◽

1998 ◽

pp. 5-28 ◽

Author(s):

Thomas Jansen

Keyword(s):

Approximation Algorithms ◽

Theory Of Complexity

Download Full-text

Parallel repetition of MIP(2,1) systems

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053016 ◽

1998 ◽

pp. 161-177

Author(s):

Clemens Gröpl ◽

Martin Skutella

Keyword(s):

Parallel Repetition

Download Full-text

Semidefinite programming and its applications to approximation algorithms

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053021 ◽

1998 ◽

pp. 263-298 ◽

Author(s):

Thomas Hofmeister ◽

Martin Hühne

Keyword(s):

Approximation Algorithms ◽

Semidefinite Programming

Download Full-text

Proof checking and non-approximability

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053014 ◽

1998 ◽

pp. 63-82

Author(s):

Stefan Hougardy

Keyword(s):

Download Full-text

Introduction to randomized algorithms

Lectures on Proof Verification and Approximation Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0053012 ◽

1998 ◽

pp. 29-39

Author(s):

Artur Andrzejak

Keyword(s):

Randomized Algorithms

Download Full-text