-
1
-
-
70849094961
-
A dynamic modeling approach to software multiple-fault localization
-
Blue Mountains, NSW, Australia
-
Abtreu, R., Zoeteweij, P., van Gemund, A.J.C.: A dynamic modeling approach to software multiple-fault localization. In: Proc. 19th DX, pp. 7-14. Blue Mountains, NSW, Australia (2008)
-
(2008)
Proc. 19th DX
, pp. 7-14
-
-
Abtreu, R.1
Zoeteweij, P.2
Van Gemund, A.J.C.3
-
2
-
-
77955429131
-
A kernelization algorithm for d-hitting set
-
Abu-Khzam, F.N.: A kernelization algorithm for d-hitting set. J. Comput. Syst. Sci. 76(7), 524-531 (2010)
-
(2010)
J. Comput. Syst. Sci.
, vol.76
, Issue.7
, pp. 524-531
-
-
Abu-Khzam, F.N.1
-
4
-
-
84858397665
-
Linear- Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs
-
Marx, D., Rossmanith, P. (eds.) IPEC 2011. Springer, Heidelberg
-
van Bevern, R., Hartung, S., Kammer, F., Niedermeier, R., Weller, M.: Linear- Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs. In: Marx, D., Rossmanith, P. (eds.) IPEC 2011. LNCS, vol. 7112, pp. 194-206. Springer, Heidelberg (2012)
-
(2012)
LNCS
, vol.7112
, pp. 194-206
-
-
Van Bevern, R.1
Hartung, S.2
Kammer, F.3
Niedermeier, R.4
Weller, M.5
-
5
-
-
79251532855
-
Approximation and tidying - A problem kernel for s-plex cluster vertex deletion
-
van Bevern, R., Moser, H., Niedermeier, R.: Approximation and tidying - a problem kernel for s-plex cluster vertex deletion. Algorithmica 62(3), 930-950 (2012)
-
(2012)
Algorithmica
, vol.62
, Issue.3
, pp. 930-950
-
-
Van Bevern, R.1
Moser, H.2
Niedermeier, R.3
-
6
-
-
72249090895
-
Kernelization: New Upper and Lower Bound Techniques
-
Chen, J., Fomin, F.V. (eds.) IWPEC 2009. Springer, Heidelberg
-
Bodlaender, H.L.: Kernelization: New Upper and Lower Bound Techniques. In: Chen, J., Fomin, F.V. (eds.) IWPEC 2009. LNCS, vol. 5917, pp. 17-37. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5917
, pp. 17-37
-
-
Bodlaender, H.L.1
-
7
-
-
77954743445
-
Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses
-
ACM
-
Dell, H., van Melkebeek, D.: Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses. In: Proc. 42nd STOC 2010, pp. 251-260. ACM (2010)
-
(2010)
Proc. 42nd STOC 2010
, pp. 251-260
-
-
Dell, H.1
Van Melkebeek, D.2
-
9
-
-
0002774077
-
Intersection theorems for systems of sets
-
Erdo{combining double acute accent}s, P., Rado, R.: Intersection theorems for systems of sets. J. London Math. Soc. 35, 85-90 (1960)
-
(1960)
J. London Math. Soc.
, vol.35
, pp. 85-90
-
-
Erdos, P.1
Rado, R.2
-
11
-
-
37149054237
-
Invitation to data reduction and problem kernelization
-
Guo, J., Niedermeier, R.: Invitation to data reduction and problem kernelization. SIGACT News 38(1), 31-45 (2007)
-
(2007)
SIGACT News
, vol.38
, Issue.1
, pp. 31-45
-
-
Guo, J.1
Niedermeier, R.2
-
12
-
-
84858405972
-
Linear-Time Kernelization for Planar Dominating Set
-
Marx, D., Rossmanith, P. (eds.) IPEC 2011. Springer, Heidelberg
-
Hagerup, T.: Linear-Time Kernelization for Planar Dominating Set. In: Marx, D., Rossmanith, P. (eds.) IPEC 2011. LNCS, vol. 7112, pp. 181-193. Springer, Heidelberg (2012)
-
(2012)
LNCS
, vol.7112
, pp. 181-193
-
-
Hagerup, T.1
-
13
-
-
77951497974
-
Fixed-parameter algorithms for cluster vertex deletion
-
Hüffner, F., Komusiewicz, C., Moser, H., Niedermeier, R.: Fixed-parameter algorithms for cluster vertex deletion. Theory Comput. Syst. 47(1), 196-217 (2010)
-
(2010)
Theory Comput. Syst.
, vol.47
, Issue.1
, pp. 196-217
-
-
Hüffner, F.1
Komusiewicz, C.2
Moser, H.3
Niedermeier, R.4
-
14
-
-
0023330169
-
Diagnosing multiple faults
-
de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97-130 (1987)
-
(1987)
Artif. Intell.
, vol.32
, Issue.1
, pp. 97-130
-
-
De Kleer, J.1
Williams, B.C.2
-
15
-
-
85027947838
-
1and MAX NP
-
ISSN 0178-4617
-
1 and MAX NP. Algorithmica 63(1), 532-550 (2012), ISSN 0178-4617
-
(2012)
Algorithmica
, vol.63
, Issue.1
, pp. 532-550
-
-
Kratsch, S.1
-
18
-
-
77957199315
-
An efficient fixed-parameter algorithm for 3- Hitting set
-
Niedermeier, R., Rossmanith, P.: An efficient fixed-parameter algorithm for 3- hitting set. J. Discrete Algorithms 1(1), 89-102 (2003)
-
(2003)
J. Discrete Algorithms
, vol.1
, Issue.1
, pp. 89-102
-
-
Niedermeier, R.1
Rossmanith, P.2
-
19
-
-
24144487577
-
Smaller Kernels for Hitting Set Problems of Constant Arity
-
Downey, R.G., Fellows, M.R., Dehne, F. (eds.) IWPEC 2004. Springer, Heidelberg
-
Nishimura, N., Ragde, P., Thilikos, D.M.: Smaller Kernels for Hitting Set Problems of Constant Arity. In: Downey, R.G., Fellows, M.R., Dehne, F. (eds.) IWPEC 2004. LNCS, vol. 3162, pp. 121-126. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.3162
, pp. 121-126
-
-
Nishimura, N.1
Ragde, P.2
Thilikos, D.M.3
-
20
-
-
69949141809
-
Applying modular decomposition to parameterized cluster editing problems
-
Protti, F., Dantas da Silva, M., Szwarcfiter, J.: Applying modular decomposition to parameterized cluster editing problems. Theory Comput. Syst. 44, 91-104 (2009)
-
(2009)
Theory Comput. Syst.
, vol.44
, pp. 91-104
-
-
Protti, F.1
Dantas Da Silva, M.2
Szwarcfiter, J.3
-
21
-
-
0023329093
-
A theory of diagnosis from first principles
-
Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57-95 (1987)
-
(1987)
Artif. Intell.
, vol.32
, Issue.1
, pp. 57-95
-
-
Reiter, R.1
|