-
1
-
-
0032058198
-
Proof verification and the hardness of approximation problems
-
S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy. Proof verification and the hardness of approximation problems. Journal of the ACM, 45(3):501-555, 1998.
-
(1998)
Journal of the ACM
, vol.45
, Issue.3
, pp. 501-555
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
2
-
-
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):70-122, 1998.
-
(1998)
Journal, of the ACM
, vol.45
, Issue.1
, pp. 70-122
-
-
Arora, S.1
Safra, S.2
-
3
-
-
0001334002
-
A unified approach to approximating resource allocation and scheduling
-
A. Bar-Noy, R. Bar-Yehuda, A. Freund, J. Naor, and B. Schieber. A unified approach to approximating resource allocation and scheduling. Journal of the ACM, 48(5): 1069-1090, 2001.
-
(2001)
Journal of the ACM
, vol.48
, Issue.5
, pp. 1069-1090
-
-
Bar-Noy, A.1
Bar-Yehuda, R.2
Freund, A.3
Naor, J.4
Schieber, B.5
-
4
-
-
0036253499
-
Approximating the throughput of multiple machines under real-time scheduling
-
A. Bar-Noy, S. Guha, J. Naor, and B. Schieber. Approximating the throughput of multiple machines under real-time scheduling. SIAM Journal on Computing, 31:331-352, (2001).
-
(2001)
SIAM Journal on Computing
, vol.31
, pp. 331-352
-
-
Bar-Noy, A.1
Guha, S.2
Naor, J.3
Schieber, B.4
-
5
-
-
0000332042
-
Multi-phase algorithms for throughput maximization for real-time scheduling
-
P. Berman and B. DasGupta. Multi-phase algorithms for throughput maximization for real-time scheduling. Journal of Combinatorial Optimization, 4(3):307-323, 2000.
-
(2000)
Journal of Combinatorial Optimization
, vol.4
, Issue.3
, pp. 307-323
-
-
Berman, P.1
DasGupta, B.2
-
9
-
-
4244182052
-
Vertex cover on k-uniform hypergraphs is hard to approximate within factor (k - 3 - ε)
-
Electronic Colloquium on Computational Complexity
-
I. Dinur, V. Guruswami, and S. Khot. Vertex cover on k-uniform hypergraphs is hard to approximate within factor (k - 3 - ε). ECCC Report TR02-027, Electronic Colloquium on Computational Complexity, 2002.
-
(2002)
ECCC Report
, vol.TR02-027
-
-
Dinur, I.1
Guruswami, V.2
Khot, S.3
-
10
-
-
0038107530
-
A new multilayered PCP and the hardness of hypergraph vertex cover
-
I. Dinur, V. Guruswami, S. Khot, and O. Regev. A new multilayered PCP and the hardness of hypergraph vertex cover. In Proceedings of the 35th ACM Symposium on Theory of Computing, pages 595-601, 2003.
-
(2003)
Proceedings of the 35th ACM Symposium on Theory of Computing
, pp. 595-601
-
-
Dinur, I.1
Guruswami, V.2
Khot, S.3
Regev, O.4
-
11
-
-
0037219868
-
Interval selection: Applications, algorithms, and lower bounds
-
T. Erlebach and F. C. R. Spieksma. Interval selection: Applications, algorithms, and lower bounds. J. Algorithms, 46(1):27-53, 2003.
-
(2003)
J. Algorithms
, vol.46
, Issue.1
, pp. 27-53
-
-
Erlebach, T.1
Spieksma, F.C.R.2
-
13
-
-
0032669862
-
Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems
-
V. Guruswami, S. Khanna, R. Rajaraman, B. Shepherd, and M. Yannakakis. Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems. In Proceedings of the 31st Annual ACM Symposium on Theory of Computing, pages 19-28, 1999.
-
(1999)
Proceedings of the 31st Annual ACM Symposium on Theory of Computing
, pp. 19-28
-
-
Guruswami, V.1
Khanna, S.2
Rajaraman, R.3
Shepherd, B.4
Yannakakis, M.5
-
15
-
-
0035705867
-
The approximability of constraint satisfaction problems
-
S. Khanna, M. Sudan, L. Trevisan and D.P. Williamson. The approximability of constraint satisfaction problems. SIAM Journal on Computing (SICOMP), 30(6), pages 1863-1920, 2000.
-
(2000)
SIAM Journal on Computing (SICOMP)
, vol.30
, Issue.6
, pp. 1863-1920
-
-
Khanna, S.1
Sudan, M.2
Trevisan, L.3
Williamson, D.P.4
-
17
-
-
0030646744
-
A complete classification of the approximability of maximization problems derived from boolean constraint satisfaction
-
S. Khanna, M. Sudan and D.P. Williamson. A complete classification of the approximability of maximization problems derived from boolean constraint satisfaction. In Proc. 29th Annual ACM Symposium on Theory of Computing (STOC), pages 11-20, 1997.
-
(1997)
Proc. 29th Annual ACM Symposium on Theory of Computing (STOC)
, pp. 11-20
-
-
Khanna, S.1
Sudan, M.2
Williamson, D.P.3
-
18
-
-
0345901561
-
Sequencing and scheduling: Algorithms and complexity
-
North Holland
-
E. L. Lawler, J. K. Lenstra, A. H. G. Rinnooy Kan, and D. B. Shmoys. Sequencing and scheduling: Algorithms and complexity. In Handbooks in Operations Research and Management Science, Vol. 4: Logistics for Production and Inventory, pages 445-522, North Holland, 1993.
-
(1993)
Handbooks in Operations Research and Management Science, Vol. 4: Logistics for Production and Inventory
, vol.4
, pp. 445-522
-
-
Lawler, E.L.1
Lenstra, J.K.2
Rinnooy Kan, A.H.G.3
Shmoys, D.B.4
-
19
-
-
51249173817
-
Randomized rounding: A technique for provably good algorithms and algorithmic proofs
-
P. Raghavan and C. D. Thompson. Randomized rounding: A technique for provably good algorithms and algorithmic proofs. Combinatorica, 7:365-374, 1987.
-
(1987)
Combinatorica
, vol.7
, pp. 365-374
-
-
Raghavan, P.1
Thompson, C.D.2
-
20
-
-
0001226672
-
A parallel repetition theorem
-
R. Raz. A parallel repetition theorem. SIAM Journal on Computing, 27(3):763-803, 1998.
-
(1998)
SIAM Journal on Computing
, vol.27
, Issue.3
, pp. 763-803
-
-
Raz, R.1
|