Search results for "Lectures on Proof Verification and Approximation Algorithms"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)	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	1998	DBLP BibTeX RDF
1	Alexander Wolff	The Hardness of Approximating Set Cover.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Thomas Jansen	Introduction to the Theory of Complexity and Approximation Algorithms.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Volker Heun, Wolfgang Merkle, Ulrich Weigand	Proving the PCP-Theorem.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Clemens Gröpl, Martin Skutella	Parallel Repetition of MIP(2, 1) Systems.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Stefan Hougardy	Proof Checking and Non-approximability.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Claus Rick, Hein Röhrig	Deriving Non-approximability Results by Reductions.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Thomas Hofmeister, Martin Hühne	Semidefinite Programming and Its Applications to Approximation Algorithms.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Sebastian Seibert, Thomas Wilke	Bounds for Approximating MAXLINEQ3-2 and MAXEKSAT.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Katja Wolf	Dense Instances of Hard Optimization Problems.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Detlef Sieling	Derandomization.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Artur Andrzejak	Introduction to Randomized Algorithms.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Martin Mundhenk, Anna Slobodová	Optimal Non-approximability of MAXCLIQUE.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
1	Richard Mayr, Annette Schelten	Polynomial Time Approximation Schemes for Geometric Optimization Problems in Euclidean Metric Spaces.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF

Publications at "Lectures on Proof Verification and Approximation Algorithms"( http://dblp.L3S.de/Venues/Lectures_on_Proof_Verification_and_Approximation_Algorithms )