Marius Zimand  Home/Search
Context Related
| rochester.edu/theo...ion_problems.ps.gz rochester.edu/pub/...ion_problems.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: rochester.edu (more) From: rochester.edu/trs/theorytrs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper. I thank Erich Gradel for valuable comments and useful pointers in the literature. References (Update)
Context of citations to this paper: More
...that can be substituted for the free variables x and showed that the approximation properties are provided. In a recent paper Zimand [13] analyzed the weighted variants of all syntactically defined classes that are known to have good approximation properties. To extend this...
...technique can be used to approximate both the problems in Max NP and those in the weighted version of this class. More recently, Zimand [31] studied the approximability properties of logically defined weighted problems, allowing negative weights (but nonnegative objective...
Cited by: More
Query-Preserving Watermarking of Relational Databases and XML.. - Gross-Amblard (2003) (Correct)
Integer Programming as a Framework for Optimization and.. - Barland, Kolaitis (1996) (Correct)
On Weighted vs Unweighted Versions of Combinatorial.. - Crescenzi.. (2001) (Correct)
Similar documents (at the sentence level):
52.1%: Weighted NP Optimization Problems: Logical Definability and.. - Zimand (1995) (Correct)
Active bibliography (related documents): More All
0.3: Log-Approximable Minimization Problems on - Random Inputs Anders (Correct)
0.3: Martin-Löf Tests Can Help Too - Zimand (1994) (Correct)
0.2: Optimization Problems: Expressibility, Approximation.. - Behrendt, Compton.. (1993) (Correct)
Similar documents based on text: More All
0.3: Optimization Problems with Approximation Schemes - Malmström (Correct)
0.2: Logical Definability of NP Optimization Problems - Kolaitis, Thakur (1994) (Correct)
0.2: Approximable Minimization Problems and Optimal Solutions on.. - Grädel, Malmström (1993) (Correct)
Related documents from co-citation: More All
5: On Syntactic versus Computational Views of Approximability - Khanna, Motwani et al. - 1994
4: and Complexity Classes (context) - Papadimitriou, Yannakakis et al. - 1991
3: the hardness of approximating Max k-Cut and its dual - Kann, Khanna et al. - 1996
BibTeX entry: (Update)
M. Zimand. Weighted NP optimization problems: logical definability and approximation properties. In Proceedings of the 10th IEEE Conference on Structure in Complexity Theory, pages 12--28, 1995. http://citeseer.ist.psu.edu/article/zimand95weighted.html More
@techreport{ zimand95weighted,
author = "Marius Zimand",
title = "Weighted {NP} Optimization Problems: Logical Definability and Approximation Properties",
number = "TR516",
year = "1995",
url = "citeseer.ist.psu.edu/article/zimand95weighted.html" }
Citations (may not include all citations):300 the hardness of approximating minimization problems (context) - Lund, Yannakakis - 1993
242 Non-deterministic exponential time has two-prover interactiv.. - Babai, Fortnow et al. - 1991
210 Generalized first-order spectra and polynomial-time recogniz.. (context) - Fagin - 1974
203 Approximating clique is almost NP complete (context) - Feige, Goldwasser et al. - 1991
173 Proof verification and intractability of approximation probl.. (context) - Arora, Lund et al. - 1992
144 The NP-completeness column: An ongoing guide (context) - Johnson - 1992
126 Efficient probabilistically checkable proofs and application.. - Bellare, Goldwasser et al. - 1993
108 Improved non-approximability results - Bellare, Sudan - 1994
104 approximation and complexity classes (context) - Papadimitriou, Yannakakis - 1991
93 the power of multi-prover interactive protocols - Fortnow, Rompel et al. - 1988
83 On syntactic versus computational views of approximability - Khanna, Motwani et al. - 1994
75 Approximation algorithms for the set covering and vertex cov.. (context) - Hochbaum - 1982
61 Descriptive and computational complexity - Immerman - 1989
50 Nearly-linear size holographic proofs (context) - Polishchuk, Spielman - 1994
45 Two prover protocols - low error at affordable rates (context) - Feige, Kilian - 1994
41 Approximation properties of NP minimization classes (context) - Kolaitis, Thakur - 1991
40 The approximation of maximum subgraph problems (context) - Lund, Yannakakis - 1993
32 Logical definability of NP optimization problems - Kolaitis, Thakur - 1990
31 laws in logic and combinatorics (context) - Compton - 1988
30 A linear time approximation algorithm for the weighted verte.. (context) - Bar-Yehuda, Even - 1981
25 NP-complete problems have a version that's hard to approxima.. (context) - Zuckerman - 1993
20 Complexity classes and theories of finite models (context) - Lynch - 1982
14 Theoretical Computer Science (context) - Panconesi, Ranjan et al. - 1993
12 The complexity of the max word problem and the power of onew.. (context) - Condon - 1991
10 The spectra of first-order sentences and computational compl.. (context) - Grandjean - 1984
6 Two-prover one round systems: Their power and their problems (context) - Feige, Lov'asz - 1992
6 Wiley and Sons (context) - Gondran, Minoux et al. - 1984
5 Logical definability of NP optimization problems with monadi.. (context) - Lautemann - 1992
4 approximation properties and expected asymptotic growth of o.. (context) - Behrendt, Compton et al. - 1992
3 Approximable minimization problems and optimal solutions on .. - Gradel, Malmstrom - 1993
2 Technical Report IBM RC (context) - Bellare, approximation - 1992
2 The complexity of the optimal spanning hypertree problem - Zimand - 1993
2 A greeedy heuristics for the set covering problem (context) - Chv'atal - 1979
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hypatia.dcs.qmw.ac.uk/site/cs.rochester.edu): More
Correction of a Memory Management Method for Lock-Free Data.. - Michael, Scott (1995) (Correct)
Recognizing Teleoperated Manipulations - Pook, Ballard (1993) (Correct)
Unifying Data and Control Transformations for Distributed Shared .. - Cierniak (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC