-
1
-
-
0031651077
-
Probabilistic checking of proofs: A new characterization of NP
-
S. Arora and S. Safra. Probabilistic checking of proofs: a new characterization of NP. Journal of the ACM, 45(1), pages 70-122, 1998.
-
(1998)
Journal of the ACM
, vol.45
, Issue.1
, pp. 70-122
-
-
Arora, S.1
Safra, S.2
-
2
-
-
0004140739
-
-
Springer-Verlag
-
G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela, and M. Protasi. Complexity and Approximation. Springer-Verlag, 2003.
-
(2003)
Complexity and Approximation
-
-
Ausiello, G.1
Crescenzi, P.2
Gambosi, G.3
Kann, V.4
Marchetti-Spaccamela, A.5
Protasi, M.6
-
3
-
-
0031285145
-
On the parameterized complexity of short computation and factorization
-
L. Cai, J. Chen, R.G. Downey, and M.R. Fellows. On the parameterized complexity of short computation and factorization. Archive for Mathematical Logic, 36:321-337, 1997.
-
(1997)
Archive for Mathematical Logic
, vol.36
, pp. 321-337
-
-
Cai, L.1
Chen, J.2
Downey, R.G.3
Fellows, M.R.4
-
5
-
-
0040653891
-
Computation models for parameterized complexity
-
M. Cesati and M. Di Ianni. Computation models for parameterized complexity. Mathematical Logic Quarterly, 43:179-202, 1997.
-
(1997)
Mathematical Logic Quarterly
, vol.43
, pp. 179-202
-
-
Cesati, M.1
Di Ianni, M.2
-
6
-
-
4544318827
-
Tight lower bounds for certain parameterized NP-hard problems
-
J. Chen, B. Chor, M. Fellows, X. Huang, D. Juedes, I. Kanj, and G. Xia. Tight lower bounds for certain parameterized NP-hard problems. Proceedings of the 19th IEEE Conference on Computational Complexity, pages 150-160, 2004.
-
(2004)
Proceedings of the 19th IEEE Conference on Computational Complexity
, pp. 150-160
-
-
Chen, J.1
Chor, B.2
Fellows, M.3
Huang, X.4
Juedes, D.5
Kanj, I.6
Xia, G.7
-
7
-
-
85013107592
-
Context-free handle-rewriting hypergraph grammars
-
H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, volume 532 of Lecture Notes in Computer Science
-
B. Courcelle, J. Engelfriet, and G. Rozenberg. Context-free handle-rewriting hypergraph grammars. In H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph-Grammars and their Application to Computer Science, 4th International Workshop, Proceedings, volume 532 of Lecture Notes in Computer Science, pages 253-268, 1991.
-
(1991)
Graph-grammars and Their Application to Computer Science, 4th International Workshop, Proceedings
, pp. 253-268
-
-
Courcelle, B.1
Engelfriet, J.2
Rozenberg, G.3
-
8
-
-
33748103149
-
The PCP theorem by gap amplification
-
38th ACM Symposium on Theory of Computing, Seattle, Washington, USA, to appear
-
I. Dinur. The PCP theorem by gap amplification. Proceedings of STOC 2006, 38th ACM Symposium on Theory of Computing, Seattle, Washington, USA, to appear.
-
Proceedings of STOC 2006
-
-
Dinur, I.1
-
9
-
-
0029290085
-
Fixed-parameter tractability and completeness II: On completeness for W[1]
-
R.G. Downey and M.R. Fellows. Fixed-parameter tractability and completeness II: On completeness for W[1]. Journal of Theoretical Computer Science, volume 141, pages 109-131, 1995.
-
(1995)
Journal of Theoretical Computer Science
, vol.141
, pp. 109-131
-
-
Downey, R.G.1
Fellows, M.R.2
-
12
-
-
0000255727
-
Approximating minimum feedback sets and multicuts in directed graphs
-
G. Even, J. S. Naor, B. Schieber, and M. Sudan. Approximating minimum feedback sets and multicuts in directed graphs. Algorithmica, 20(2):151-174, 1998.
-
(1998)
Algorithmica
, vol.20
, Issue.2
, pp. 151-174
-
-
Even, G.1
Naor, J.S.2
Schieber, B.3
Sudan, M.4
-
13
-
-
33748114479
-
Clique-width minimization is NP-hard
-
38th ACM Symposium on Theory of Computing, Seattle, Washington, USA, to appear
-
M. Fellows, F. Rosamond, U. Rotics, and S. Szeider. Clique-width minimization is NP-hard. Proceedings of STOC 2006, 38th ACM Symposium on Theory of Computing, Seattle, Washington, USA, to appear.
-
Proceedings of STOC 2006
-
-
Fellows, M.1
Rosamond, F.2
Rotics, U.3
Szeider, S.4
-
18
-
-
0039336647
-
Packing directed circuits
-
B. Reed, N. Robertson, P. Seymour, and R. Thomas. Packing directed circuits. Combinatorica, 16(4):535-554, 1996.
-
(1996)
Combinatorica
, vol.16
, Issue.4
, pp. 535-554
-
-
Reed, B.1
Robertson, N.2
Seymour, P.3
Thomas, R.4
-
19
-
-
34249756824
-
Packing directed circuits fractionally
-
P. Seymour. Packing directed circuits fractionally. Combinatorica, 15(2):281-288, 1995.
-
(1995)
Combinatorica
, vol.15
, Issue.2
, pp. 281-288
-
-
Seymour, P.1
-
20
-
-
0142152725
-
Parameterized tractability of edge-disjoint paths on directed acyclic graphs
-
G. D. Battista and U. Zwick editors, volume 2832 of Lecture Notes in Computer Science
-
A. Slivkins. Parameterized tractability of edge-disjoint paths on directed acyclic graphs. In G. D. Battista and U. Zwick editors, Proceedings of 11th Annual European Symposium on Algorithms, ESA'03, volume 2832 of Lecture Notes in Computer Science, pages 482-493, 2003.
-
(2003)
Proceedings of 11th Annual European Symposium on Algorithms, ESA'03
, pp. 482-493
-
-
Slivkins, A.1
|