-
1
-
-
0000697831
-
Fixed Parameter Tractability and Completeness IV: On Completeness for W[P] and PSPACE Analogs
-
K. Abrahamson, R. Downey and M. Fellows: Fixed Parameter Tractability and Completeness IV: On Completeness for W[P] and PSPACE Analogs, Annals of Pure and Applied Logic, 73, pp.235-276, 1995.
-
(1995)
Annals of Pure and Applied Logic
, vol.73
, pp. 235-276
-
-
Abrahamson, K.1
Downey, R.2
Fellows, M.3
-
2
-
-
0004140739
-
-
Springer-Verlag
-
G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela and M. Protasi: Complexity and Approximation, Springer-Verlag, 1999.
-
(1999)
Complexity and Approximation
-
-
Ausiello, G.1
Crescenzi, P.2
Gambosi, G.3
Kann, V.4
Marchetti-Spaccamela, A.5
Protasi, M.6
-
3
-
-
0035163031
-
Resolution is Not Automatizable unless W[P] is Tractable
-
M. Alekhnovich and A. Razborov: Resolution is Not Automatizable Unless W[P] is Tractable, Proc. of the 42nd IEEE FOCS, pp.210-219, 2001.
-
(2001)
Proc. of the 42nd IEEE FOCS
, pp. 210-219
-
-
Alekhnovich, M.1
Razborov, A.2
-
6
-
-
0002640262
-
Proof Verification and Intractability of Approximation Algorithms
-
S. Arora, C. Lund, R. Motwani, M. Sudan and M. Szegedy: Proof Verification and Intractability of Approximation Algorithms, Proceedings of the IEEE Symposium on the Foundations of Computer Science, 1992.
-
(1992)
Proceedings of the IEEE Symposium on the Foundations of Computer Science
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
8
-
-
0031164842
-
On Fixed-Parameter Tractability and Approximability of NP-Hard Optimization Problems
-
Liming Gai and J. Chen: On Fixed-Parameter Tractability and Approximability of NP-Hard Optimization Problems, J. Computer and Systems Sciences 54, pp.465-474, 1997.
-
(1997)
J. Computer and Systems Sciences
, vol.54
, pp. 465-474
-
-
Gai, L.1
Chen, J.2
-
10
-
-
0347622466
-
On the existence of subexponential time parameterized algorithms
-
L. Cai and D. Juedes: On the existence of subexponential time parameterized algorithms, J. Comput. Sys. Sci., Vol. 67, pp.789-807, 2003.
-
(2003)
J. Comput. Sys. Sci.
, vol.67
, pp. 789-807
-
-
Cai, L.1
Juedes, D.2
-
12
-
-
0013072266
-
Further Observations and Further Improvements
-
J. Chen, I.A. Kanj and W. Jia: Vertex Cover: Further Observations and Further Improvements, Journal of Algorithms, 41, pp.280-301, 2001.
-
(2001)
Journal of Algorithms
, vol.41
, pp. 280-301
-
-
Chen, J.1
Kanj, I.A.2
Jia, W.3
Cover, V.4
-
13
-
-
21144445656
-
Polynomial time approximation schemes and parameterized complexity
-
Mathematical Foundations of Computer Science, 29th Annual Meeting, 2004, (J. Faila, V. Koubek, and J. Kratochvil, eds.)
-
J. Chen, X. Huang, I. Kanj, and G. Xia: Polynomial time approximation schemes and parameterized complexity, in Mathematical Foundations of Computer Science, 29th Annual Meeting, 2004, (J. Faila, V. Koubek, and J. Kratochvil, eds.) Springer-Verlag Lecture Notes in Computer Science 3153, pp.500-512, 2004.
-
(2004)
Springer-Verlag Lecture Notes in Computer Science
, vol.3153
, pp. 500-512
-
-
Chen, J.1
Huang, X.2
Kanj, I.3
Xia, G.4
-
14
-
-
0032662403
-
A Polynomial-Time Approximation Scheme for General Multiprocessor Scheduling
-
ACM Press
-
J. Chen and A. Miranda: A Polynomial-Time Approximation Scheme for General Multiprocessor Scheduling, Proc. ACM Symposium on Theory of Computing (STOC '99), ACM Press, pp. 418-427, 1999.
-
(1999)
Proc. ACM Symposium on Theory of Computing (STOC '99)
, pp. 418-427
-
-
Chen, J.1
Miranda, A.2
-
15
-
-
0037972152
-
On some packing problems related to dynamic storage allogation
-
M. Chrobak and M. Slusarek: On some packing problems related to dynamic storage allogation, RARIO Inform. Theor. Appl., Vol. 22, pp.487-499, 1988.
-
(1988)
RARIO Inform. Theor. Appl.
, vol.22
, pp. 487-499
-
-
Chrobak, M.1
Slusarek, M.2
-
17
-
-
18944393477
-
Cutting Up Is Hard to Do: The Parameterized Complexity of k-Cut and Related Problems
-
CATS
-
R. Downey, V. Estivill-Castro, M. Fellows, E. Prieto-Rodriguez and F. Rosamond: Cutting Up Is Hard To Do: the Parameterized Complexity of k-Cut and Related Problems, in Proc. Australian Theory Symposium, CATS, 2003.
-
(2003)
Proc. Australian Theory Symposium
-
-
Downey, R.1
Estivill-Castro, V.2
Fellows, M.3
Prieto-Rodriguez, E.4
Rosamond, F.5
-
22
-
-
0042875770
-
Parameterized complexity: The main ideas and connections to practical computing
-
R. Fleischer et al. (Eds.) Experimental Algorithmics
-
M. Fellows: Parameterized complexity: the main ideas and connections to practical computing. In: R. Fleischer et al. (Eds.) Experimental Algorithmics, LNCS 2547, pp.51-77, 2002.
-
(2002)
LNCS
, vol.2547
, pp. 51-77
-
-
Fellows, M.1
-
23
-
-
35048834823
-
-
Personal communication, March
-
M. Fellows: Personal communication, March 2003.
-
(2003)
-
-
Fellows, M.1
-
24
-
-
35048822060
-
Parameterized complexity and subexponential time
-
J. Flum and M. Grohe: Parameterized complexity and subexponential time, to appear Bulletin EATCS.
-
Bulletin EATCS
-
-
Flum, J.1
Grohe, M.2
-
26
-
-
0036044725
-
The Complexity of First-Order and Monadic Second-Order Logic Revisited
-
M. Frick and M. Grohe: The Complexity of First-Order and Monadic Second-Order Logic Revisited, in LICS, pp.215-224, 2002.
-
(2002)
LICS
, pp. 215-224
-
-
Frick, M.1
Grohe, M.2
-
29
-
-
0035277725
-
On the complexity of K-SAT
-
March
-
R. Impagliazzo and R. Paturi: On the complexity of K-SAT, JCSS, 62(2), pp.367-375, March 2001.
-
(2001)
JCSS
, vol.62
, Issue.2
, pp. 367-375
-
-
Impagliazzo, R.1
Paturi, R.2
-
30
-
-
0035734883
-
Which problems have strongly exponential complexity?
-
R. Impagliazzo, R. Paturi and F. Zane: Which problems have strongly exponential complexity?, JCSS 63(4), pp.512-530, 2001.
-
(2001)
JCSS
, vol.63
, Issue.4
, pp. 512-530
-
-
Impagliazzo, R.1
Paturi, R.2
Zane, F.3
-
31
-
-
0028255537
-
Coloring Inductive Graphs On-Line
-
S. Irani: Coloring Inductive Graphs On-Line, Algorithmica, vol.11, pp.53-72, 1994.
-
(1994)
Algorithmica
, vol.11
, pp. 53-72
-
-
Irani, S.1
-
32
-
-
0029712046
-
Towards a Syntactic Characterization of PTAS
-
ACM Press
-
S. Khanna and R. Motwani: Towards a Syntactic Characterization of PTAS, in Proc. STOC 1996, ACM Press, pp.329-337, 1996.
-
(1996)
Proc. STOC 1996
, pp. 329-337
-
-
Khanna, S.1
Motwani, R.2
-
33
-
-
0038309441
-
The Linearity of First Fit Coloring of Interval Graphs
-
H. A. Kierstead: The Linearity of First Fit Coloring of Interval Graphs, SIAM J. on Discrete MAth, Vol 1, No. 4, pp 526-530, 1988.
-
(1988)
SIAM J. on Discrete MAth
, vol.1
, Issue.4
, pp. 526-530
-
-
Kierstead, H.A.1
-
34
-
-
0041873559
-
Colouring interval graphs with First-Fit
-
H. Kierstead and J. Qin: Colouring interval graphs with First-Fit, Discrete Math. Vol. 144, pp.47-57, 1995.
-
(1995)
Discrete Math.
, vol.144
, pp. 47-57
-
-
Kierstead, H.1
Qin, J.2
-
35
-
-
0038309441
-
The linearity of first-fit colouring of interval graphs
-
H. Kierstead and W. Trotter: The linearity of first-fit colouring of interval graphs, SIAM J. on Discrete Math., Vol. 1, pp.528-530, 1988.
-
(1988)
SIAM J. on Discrete Math.
, vol.1
, pp. 528-530
-
-
Kierstead, H.1
Trotter, W.2
-
37
-
-
35048824578
-
Ubiquitous parameterization: Invitation to fized-parameter algorithms
-
Mathematical Foundations of Computer Science, 29th Annual Meeting, 2004, (J. Faila, V. Koubek, and J. Kratochvil, eds.)
-
R. Niedermeier: Ubiquitous parameterization: invitation to fized-parameter algorithms, in Mathematical Foundations of Computer Science, 29th Annual Meeting, 2004, (J. Faila, V. Koubek, and J. Kratochvil, eds.) Springer-Verlag Lecture Notes in Computer Science 3153, pp.84-103, 2004.
-
(2004)
Springer-Verlag Lecture Notes in Computer Science
, vol.3153
, pp. 84-103
-
-
Niedermeier, R.1
|