C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Lectures on Proof Verification and Approximation Algorithms
1997
1998
1997
1998
Keyphrases
Publications
volume 1367, 1998
Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997)
Lectures on Proof Verification and Approximation Algorithms
1367 (1998)
1997
Richard Mayr
,
Annette Schelten
Polynomial Time Approximation Schemes for Geometric Optimization Problems in Euclidean Metric Spaces.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Volker Heun
,
Wolfgang Merkle
,
Ulrich Weigand
Proving the PCP-Theorem.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Sebastian Seibert
,
Thomas Wilke
Bounds for Approximating MAXLINEQ3-2 and MAXEKSAT.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Alexander Wolff
The Hardness of Approximating Set Cover.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Thomas Jansen
Introduction to the Theory of Complexity and Approximation Algorithms.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Martin Mundhenk
,
Anna Slobodová
Optimal Non-approximability of MAXCLIQUE.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Clemens Gröpl
,
Martin Skutella
Parallel Repetition of MIP(2, 1) Systems.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Katja Wolf
Dense Instances of Hard Optimization Problems.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Thomas Hofmeister
,
Martin Hühne
Semidefinite Programming and Its Applications to Approximation Algorithms.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Artur Andrzejak
Introduction to Randomized Algorithms.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Claus Rick
,
Hein Röhrig
Deriving Non-approximability Results by Reductions.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Detlef Sieling
Derandomization.
Lectures on Proof Verification and Approximation Algorithms
(1997)
Stefan Hougardy
Proof Checking and Non-approximability.
Lectures on Proof Verification and Approximation Algorithms
(1997)