The SCEAS System
Navigation Menu

Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
1997 (conf/dagstuhl/1997proof)

  1. Thomas Jansen
    Introduction to the Theory of Complexity and Approximation Algorithms. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:5-28 [Conf]
  2. Artur Andrzejak
    Introduction to Randomized Algorithms. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:29-40 [Conf]
  3. Detlef Sieling
    Derandomization. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:41-62 [Conf]
  4. Stefan Hougardy
    Proof Checking and Non-approximability. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:63-82 [Conf]
  5. Volker Heun, Wolfgang Merkle, Ulrich Weigand
    Proving the PCP-Theorem. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:83-160 [Conf]
  6. Clemens Gröpl, Martin Skutella
    Parallel Repetition of MIP(2, 1) Systems. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:161-178 [Conf]
  7. Sebastian Seibert, Thomas Wilke
    Bounds for Approximating MAXLINEQ3-2 and MAXEKSAT. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:179-212 [Conf]
  8. Claus Rick, Hein Röhrig
    Deriving Non-approximability Results by Reductions. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:213-234 [Conf]
  9. Martin Mundhenk, Anna Slobodová
    Optimal Non-approximability of MAXCLIQUE. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:235-248 [Conf]
  10. Alexander Wolff
    The Hardness of Approximating Set Cover. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:249-262 [Conf]
  11. Thomas Hofmeister, Martin Hühne
    Semidefinite Programming and Its Applications to Approximation Algorithms. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:263-298 [Conf]
  12. Katja Wolf
    Dense Instances of Hard Optimization Problems. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:299-312 [Conf]
  13. Richard Mayr, Annette Schelten
    Polynomial Time Approximation Schemes for Geometric Optimization Problems in Euclidean Metric Spaces. [Citation Graph (0, 0)][DBLP]
    Lectures on Proof Verification and Approximation Algorithms, 1997, pp:313-324 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002